From 8b4c1a80d039259d2142917466ada0ff26ac7de8 Mon Sep 17 00:00:00 2001 From: Jakub Steiner Date: Mon, 6 Feb 2012 19:08:21 +0100 Subject: [PATCH] theme: Remove border from top bar Remove the border to make the top bar a better negative space. https://bugzilla.gnome.org/show_bug.cgi?id=669489 --- data/Makefile.am | 1 - data/theme/gnome-shell.css | 3 --- data/theme/panel-border.svg | 33 --------------------------------- 3 files changed, 37 deletions(-) delete mode 100644 data/theme/panel-border.svg diff --git a/data/Makefile.am b/data/Makefile.am index 75fc66139..8456c805a 100644 --- a/data/Makefile.am +++ b/data/Makefile.am @@ -31,7 +31,6 @@ dist_theme_DATA = \ theme/filter-selected-rtl.svg \ theme/gdm.css \ theme/gnome-shell.css \ - theme/panel-border.svg \ theme/panel-button-border.svg \ theme/panel-button-highlight-narrow.svg \ theme/panel-button-highlight-wide.svg \ diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css index cd0b57327..c14c52df9 100644 --- a/data/theme/gnome-shell.css +++ b/data/theme/gnome-shell.css @@ -282,7 +282,6 @@ StTooltip StLabel { #panel { color: #ffffff; background-color: black; - border-image: url("panel-border.svg") 1; font-size: 10.5pt; font-weight: bold; height: 1.86em; @@ -313,8 +312,6 @@ StTooltip StLabel { -panel-corner-background-color: black; -panel-corner-inner-border-width: 2px; -panel-corner-inner-border-color: transparent; - -panel-corner-outer-border-width: 1px; - -panel-corner-outer-border-color: #536272; } .panel-corner:active, diff --git a/data/theme/panel-border.svg b/data/theme/panel-border.svg deleted file mode 100644 index 4405ea296..000000000 --- a/data/theme/panel-border.svg +++ /dev/null @@ -1,33 +0,0 @@ - - - - - - - - - - - -