Adjusted window borders

2015-04-11 01:44:51 -04:00
parent 45d8e57e9b
commit 43cca237e1
6 changed files with 14 additions and 6 deletions
--- a/Paper/gtk-3.0/widgets/header-bar.css
+++ b/Paper/gtk-3.0/widgets/header-bar.css
@@ -24,7 +24,7 @@
 .header-bar {
    padding:0;
    border: none;
-    border-radius: 2px 2px 0 0;
+    border-radius: 3px 3px 0 0;
    background-color: @header;
    color: @header_text;
    box-shadow: inset 0 1px 0 0 rgba(255,255,255,0.1),
--- a/Paper/gtk-3.0/widgets/separators.css
+++ b/Paper/gtk-3.0/widgets/separators.css
@@ -28,6 +28,13 @@ GtkSeparator,
    color: @separator;
 }

+GtkSeparator:backdrop,
+.separator:backdrop,
+.pane-separator:backdrop,
+.button .separator:backdrop {
+    color: @backdrop_separator;
+}
+
 .pane-separator {
    -GtkPaned-handle-size: 2px;
    padding: 4px;
--- a/Paper/gtk-3.0/widgets/titlebar.css
+++ b/Paper/gtk-3.0/widgets/titlebar.css
@@ -23,7 +23,7 @@
 .titlebar {
    padding:0;
    border: none;
-    border-radius: 2px 2px 0 0;
+    border-radius: 3px 3px 0 0;
    background-color: @header;
    color: @header_text;
    box-shadow: inset 0 1px 0 0 rgba(255,255,255,0.1),