summaryrefslogtreecommitdiff
path: root/src/ws
diff options
context:
space:
mode:
Diffstat (limited to 'src/ws')
-rw-r--r--src/ws/munia.css75
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;