From 7d0cce7bdfdd1a42505ba6c8d115cbf1c1b08a3e Mon Sep 17 00:00:00 2001 From: Christian Hergert Date: Sun, 25 Sep 2016 12:21:56 -0700 Subject: [PATCH] ui: remove legacy CSS selectors Now that we bumped the gtk+ requirement, we can remove the old CSS selectors that are obsolete. --- src/resources/theme/shared.css | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/resources/theme/shared.css b/src/resources/theme/shared.css index 927d05b3..b7c73f12 100644 --- a/src/resources/theme/shared.css +++ b/src/resources/theme/shared.css @@ -1,19 +1,14 @@ -GtkPopover GtkListBox GtkListBoxRow, -GtkPaned GtkListBox GtkListBoxRow, paned list row, popover list row { padding: 6px 10px 6px 10px; border-bottom: 1px solid alpha(@borders, 0.2); } -GtkPopover GtkListBox GtkListBoxRow:last-child, -GtkPaned GtkListBox GtkListBoxRow:last-child, paned list row:last-child, popover list row:last-child { border-bottom: none; } -GtkPopover SpScrolledWindow, popover scrolledwindow { border-top: 1px solid alpha(@borders, 0.75); }