add left margin to titlebutton separator so that there is equal empty space between the separator and surrounding widgets. also fixed a typo.

2026-07-10 12:18:49 -07:00 · 2016-05-06 23:31:27 -05:00
parent 9b823b727f
commit f8ace81be8
1 changed files with 3 additions and 1 deletions
@@ -106,7 +106,9 @@

        .tiled &, .maximized & { border-radius: 0; }

-        .title { font: bold; }
+        .title { font-weight: bold; }
+
+        separator.titlebutton { margin-left: $spacing * 2; }

        button.titlebutton {
            padding: $spacing;