1 files changed, 58 insertions, 0 deletions
diff --git a/src/ws/munia.css b/src/ws/munia.css
new file mode 100644
index 0000000..f94f4b7
--- /dev/null
+++ b/src/ws/munia.css
@@ -0,0 +1,58 @@
+/* Prevent the text contents of draggable elements from being selectable. */
+[draggable] {
+  -moz-user-select: none;
+  -khtml-user-select: none;
+  -webkit-user-select: none;
+  user-select: none;
+}
+
+body {
+  cursor: default;
+}
+
+.node {
+  -webkit-touch-callout: none;
+  -webkit-user-select: none;
+  -khtml-user-select: none;
+  -moz-user-select: none;
+  -ms-user-select: none;
+  -o-user-select: none;
+  user-select: none;
+  cursor: move;
+  background-color: #888;
+  border-style: solid;
+  border-width: medium;
+/*  border-radius: 15px;*/
+  padding: 4px;
+  margin: 6px;
+  max-width: 300px;
+}
+
+.board {
+  width: *;
+  min-height: 100px;
+  padding: 2px;
+  margin: 2px;
+
+  background: -moz-linear-gradient(left center, rgb(0,0,0), rgb(79,79,79), rgb(21,21,21));
+  background: -webkit-gradient(linear, left top, right top,
+                               color-stop(0, rgb(0,0,0)),
+                               color-stop(0.50, rgb(79,79,79)),
+                               color-stop(1, rgb(21,21,21)));
+  background: -webkit-linear-gradient(left center, rgb(0,0,0), rgb(79,79,79), rgb(21,21,21));
+  background: -ms-linear-gradient(left center, rgb(0,0,0), rgb(79,79,79), rgb(21,21,21));
+}
+
+
+.log
+{
+	height: 20em;
+	font-family: monospace;
+	font-size: 1em;
+	padding: 2px 5px;
+	color: #0f0;
+	background-color: #111;
+	border: 1px solid #030;
+	border-radius: 4px;
+	overflow: auto;
+}