css: tiny cleanup and improvements

unprofession-al · Aug 7, 2023 · 0bcdd2d · 0bcdd2d
1 parent 24bface
commit 0bcdd2d
Showing 1 changed file with 1 addition and 19 deletions.
diff --git a/server/static/style.css b/server/static/style.css
@@ -24,25 +24,6 @@ body {
   stroke: none;
 }
 
-.controls .controls-button {
-  font-weight: 700;
-}
-
-.info {
-  -webkit-user-select: none;
-     -moz-user-select: none;
-      -ms-user-select: none;
-          user-select: none;
-  pointer-events: none;
-}
-.info ul {
-  font-size: 13px;
-  list-style-type: none;
-  padding: 0;
-  line-height: 20px;
-  margin-top: 0;
-}
-
 .svg-background {
   fill: none;
   stroke: none;
@@ -77,5 +58,6 @@ nav {
 
 .logo {
   float: left;
+  font-weight: 700;
   width: 80px;
 }