From f4bb394d6057ef5ca0a9b1fb9a301f7d5634cd9f Mon Sep 17 00:00:00 2001 From: Daniel Boles Date: Mon, 19 Mar 2018 14:27:28 +0000 Subject: [PATCH] _common.scss: Use : for properties in new comments This is cosmetic and unlikely to have confused anyone, but still --- gtk/theme/Adwaita/_common.scss | 2 +- gtk/theme/HighContrast/_common.scss | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss index 5741da391a..840033e1c1 100644 --- a/gtk/theme/Adwaita/_common.scss +++ b/gtk/theme/Adwaita/_common.scss @@ -1415,7 +1415,7 @@ searchbar > revealer > box, } searchbar > revealer > box { - // workaround: undo the GtkContainer::border-width and use CSS padding instead + // workaround: undo the GtkContainer:border-width and use CSS padding instead margin: -6px; padding: 6px; } diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss index a72fe67053..331c6cc75a 100644 --- a/gtk/theme/HighContrast/_common.scss +++ b/gtk/theme/HighContrast/_common.scss @@ -1178,7 +1178,7 @@ searchbar > revealer > box { border-color: $borders_color; border-style: none none solid none; - // workaround: undo the GtkContainer::border-width and use CSS padding instead + // workaround: undo the GtkContainer:border-width and use CSS padding instead margin: -6px; padding: 9px; }