Moved public to docs for github publishing

2019-11-23 16:45:00 +01:00
parent c9de389acb
commit 5e0637af0d
9 changed files with 33 additions and 3 deletions
@@ -0,0 +1,61 @@
+html, body {
+	position: relative;
+	width: 100%;
+	height: 100%;
+}
+
+body {
+	color: #333;
+	margin: 0;
+	padding: 8px;
+	box-sizing: border-box;
+	font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif;
+}
+
+a {
+	color: rgb(0,100,200);
+	text-decoration: none;
+}
+
+a:hover {
+	text-decoration: underline;
+}
+
+a:visited {
+	color: rgb(0,80,160);
+}
+
+label {
+	display: block;
+}
+
+input, button, select, textarea {
+	font-family: inherit;
+	font-size: inherit;
+	padding: 0.4em;
+	margin: 0 0 0.5em 0;
+	box-sizing: border-box;
+	border: 1px solid #ccc;
+	border-radius: 2px;
+}
+
+input:disabled {
+	color: #ccc;
+}
+
+input[type="range"] {
+	height: 0;
+}
+
+button {
+	background-color: #f4f4f4;
+	outline: none;
+}
+
+button:active {
+	background-color: #ddd;
+}
+
+button:focus {
+	border-color: #666;
+}
@@ -0,0 +1,41 @@
+<!doctype html>
+<html>
+<head>
+	<meta charset='utf8'>
+	<meta name='viewport' content='width=device-width'>
+
+	<title>Mermaid live editor</title>
+
+	<link rel='icon' type='image/png' href='favicon.png'>
+	<link rel='stylesheet' href='styles.css'>
+	<link rel='stylesheet' href='bundle.css'>
+<!-- Google Analytics -->
+<script>
+	(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
+	(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
+	m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
+	})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
+
+	ga('create', 'UA-153180559-1', 'auto');
+	</script>
+	<!-- End Google Analytics -->
+
+	<style>
+		.myInlineDecoration {
+			/* cursor: pointer; */
+			/* text-decoration: underline; */
+			font-weight: bold;
+			font-style: oblique;
+			background: #ffcccc;
+		}
+</style>
+  <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
+  <title>Online FlowChart &amp; Diagrams Editor - Mermaid Live Editor</title>
+  <meta name="og:image" content="https://mermaid-js.github.io/images/header.png">
+  <link rel="canonical" href="https://mermaid-js.github.io/mermaid-live-editor/">
+  <meta name="description" content="Simplify documentation and avoid heavy tools. Open source Visio Alternative. Commonly used for explaining your code! Mermaid is a simple markdown-like script language for generating charts from text via javascript.">
+  </head>
+<body>
+	<script src='bundle.js'></script>
+</body>
+</html>
@@ -0,0 +1,30 @@
+html {
+	padding: 0;
+	width: 100%;
+	height: 100%;
+}
+
+body {
+  padding: 32px;
+	font-family: 'trebuchet ms', verdana, arial;
+	position: relative;
+	width: 100%;
+	height: 100%;
+	box-sizing: border-box;
+	margin: 0;
+}
+
+.mermaid {
+  /* font-family: 'trebuchet ms', verdana, arial; */
+}
+.marketing-links {
+  font-size: 16px;
+}
+
+.ant-card {
+  margin-bottom: 16px;
+}
+
+i {
+  font-size: 11px;
+}