Fix indentation of stylesheet.

1 files changed, 39 insertions, 36 deletions

diff --git a/src/ws/munia.css b/src/ws/munia.css
index f94f4b7..5d98c94 100644
--- a/src/ws/munia.css
+++ b/src/ws/munia.css
@@ -1,49 +1,52 @@
 /* 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;
+[draggable]
+{
+	-moz-user-select: none;
+	-khtml-user-select: none;
+	-webkit-user-select: none;
+	user-select: none;
 }
 
-body {
-  cursor: default;
+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;
+.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;
+.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));
+	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;