From 562476ca18188841d05a83eba44902286258aa39 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Fri, 15 Mar 2013 19:10:04 -0400 Subject: [PATCH] Pimp up the css for the client-side decorations --- gtk/gtk-default.css | 23 +++++++++++++++++------ 1 file changed, 17 insertions(+), 6 deletions(-) diff --git a/gtk/gtk-default.css b/gtk/gtk-default.css index 05dc2489fc..d3424fcf32 100644 --- a/gtk/gtk-default.css +++ b/gtk/gtk-default.css @@ -23,6 +23,9 @@ color: @fg_color; border-color: shade (@bg_color, 0.6); padding: 2px; + -GtkWindow-resize-grip-width: 0; + -GtkWindow-resize-grip-height: 0; + -GtkWindow-decoration-button-layout: 'icon:minimize,maximize,close'; } GtkWindow, .button, .slider { @@ -767,6 +770,14 @@ GtkCalendar.button:hover { to (@bg_color)); } +.titlebar GtkButton:first-child { + border-radius: 10px 0px 0px 0px; +} + +.titlebar GtkButton:last-child { + border-radius: 0px 10px 0px 0px; +} + .titlebar:backdrop { background-image: none; } @@ -780,14 +791,14 @@ GtkCalendar.button:hover { .window-border { border-color: darker (@bg_color); - border-radius: 5px; - border-width: 3px 3px 3px 3px; + border-radius: 10px; + border-width: 0; border-style: solid; } -.window-border-bar { +.window-outer-border { + border-color: transparent; + border-radius: 10px; + border-width: 10px 10px 10px 10px; border-style: solid; - border-width: 1px 1px 2px 1px; - border-color: darker (@bg_color); - border-radius: 5px 5px 0px 0px; }