fix gedit style issues.

fixes #312
2026-07-10 12:18:49 -07:00 · 2016-04-10 08:09:20 -05:00
parent 06ae107d92
commit 73a746604e
3 changed files with 20 additions and 5 deletions
@@ -129,4 +129,14 @@
        padding: $spacing / 2;
        color: mix($text_color, $base_color, .5);
    }
+
+    .gedit-bottom-panel-paned,
+    .gedit-side-panel-paned,
+    paned.titlebar {
+        margin-right: 0px;
+     }
+
+    .gedit-bottom-panel-paned notebook {
+        border-top: none;
+     }
 }