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; }