diff options
-rw-r--r-- | gtk3/theme/gtk-widgets.css.em | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk3/theme/gtk-widgets.css.em b/gtk3/theme/gtk-widgets.css.em index 1307b0a..7cf146c 100644 --- a/gtk3/theme/gtk-widgets.css.em +++ b/gtk3/theme/gtk-widgets.css.em @@ -540,7 +540,7 @@ GtkProgressBar.trough { .separator { border-style: solid; border-color: @button_grey; - border-width: $thickness; + border-width: $(thickness)px; } /* Tool buttons */ |