remove umurmurd-websocket moving to own git (requested by fatbob)

[umurmur.git] / shm_utils / umurmurd-websocket / web / css / mon_umurmurd.css

diff --git a/shm_utils/umurmurd-websocket/web/css/mon_umurmurd.css b/shm_utils/umurmurd-websocket/web/css/mon_umurmurd.css
deleted file mode 100644 (file)
index c652e27..0000000
--- a/shm_utils/umurmurd-websocket/web/css/mon_umurmurd.css
+++ /dev/null
@@ -1,48 +0,0 @@
-html, body{
-    margin: 0;
-    padding: 0;
-}
-
-body{
-    font-family: sans;
-    color: #222;
-    background-color: #fdfdfd;
-    width: 80%;
-    margin: 10%;
-    margin-top: 2em;
-}
-
-.buttons{
-    margin: 1em 0;
-    display: table;
-    width: 100%;
-    text-align: center;
-}
-
-button{
- display: inline-block;
- padding: 6px 12px;
- margin-bottom: 0px;
- font-size: 14px;
- font-weight: normal;
- line-height: 1.42857;
- text-align: center;
- white-space: nowrap;
- vertical-align: middle;
- cursor: pointer;
- border: 1px solid transparent;
- border-radius: 4px 4px 4px 4px;
- -moz-user-select: none;
- color: rgb(51, 51, 51);
- background-color: rgb(255, 255, 255);
- border-color: rgb(204, 204, 204);
- color: rgb(255, 255, 255);
- background-color: rgb(66, 139, 202);
- border-color: rgb(53, 126, 189);
-}
-
-button:hover, button:focus, button:active{
- color: rgb(255, 255, 255);
- background-color: rgb(50, 118, 177);
- border-color: rgb(40, 94, 142);
-}
\ No newline at end of file