diff --git a/css/default/terminal.css b/css/default/terminal.css
index 24e19b7..e45cd27 100644
--- a/css/default/terminal.css
+++ b/css/default/terminal.css
@@ -29,6 +29,14 @@ pre {
     padding: 1rem;
 }
 
+.menu a {
+    margin: 0;
+}
+
+.menu a:before {
+    content: "";
+}
+
 a {
     margin: -1.35rem;
     color: #090;