add a menu bar; and also a favicon because there's now a logo

static/index.css

@@ -123,6 +123,8 @@ rkgk-reticle-cursor {
 /* Brush editor */
 
 rkgk-brush-editor {
+    padding: 12px;
+    
     &>.text-area {
         display: block;
         width: 100%;
@@ -187,3 +189,50 @@ rkgk-connection-status {
         }
     }
 }
+
+/* Menu bar */
+
+.menu-bar {
+    --border-radius: 4px;
+    
+    display: flex;
+    box-sizing: border-box;
+
+    width: fit-content;
+    height: 24px;
+    border-radius: var(--border-radius);
+
+    &>a {
+        display: block;
+        
+        color: var(--color-text);
+        padding: 4px 8px;
+        text-decoration: none;
+
+        &:hover {
+            background-color: var(--color-shaded-background);
+        }
+
+        &.icon {
+            padding: 4px 4px;
+        }
+
+        &:first-child {
+            border-top-left-radius: var(--border-radius);
+            border-bottom-left-radius: var(--border-radius);
+        }
+
+        &:last-child {
+            border-top-right-radius: var(--border-radius);
+            border-bottom-right-radius: var(--border-radius);
+        }
+    }
+
+    &>hr {
+        height: 100%;
+        margin: 0;
+        border: none;
+        border-right: 1px solid var(--color-panel-border);
+    }
+}
+