Fixes a margin bug in terminal.css

2022-08-01 16:11:36 +02:00 · 2022-08-01 16:11:36 +02:00 · babf80b5ab
parent a4879c929c
commit babf80b5ab
1 changed files with 8 additions and 0 deletions
--- 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;