work on the dev menu

2026-04-26 11:10:58 +02:00 · 2018-06-12 15:27:37 -04:00
parent 2e3254877f
commit bc14a6a147
4 changed files with 133 additions and 8 deletions
@@ -486,6 +486,21 @@
    width: 50%;
 }

+/* Dev menu */
+#dev-menu-container {
+    position: fixed;
+    padding-top: 10px;
+}
+
+#dev-menu-text {
+    width: 70%;
+    margin: 10px;
+}
+
+#dev-menu-container a {
+    width: 50%;
+}
+
 /* Location */
 #location-container {
 	position: fixed;