diff options
Diffstat (limited to 'src/ws')
| -rw-r--r-- | src/ws/munia.css | 75 |
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; |