CSS tweak: margins

shlomif · Aug 18, 2023 · 5794148 · 5794148
1 parent bd37d90
commit 5794148
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/fc-solve/site/wml/lib/sass/web-fc-solve.scss b/fc-solve/site/wml/lib/sass/web-fc-solve.scss
@@ -348,5 +348,8 @@ $mgn: 1em;
     button {
         font-size: 200%;
         padding: 0.5em;
+        $m: 10px;
+        margin-left: $m;
+        margin-right: $m;
     }
 }