diff options
author | Simon Schampijer <simon@laptop.org> | 2012-11-23 17:37:57 (GMT) |
---|---|---|
committer | Simon Schampijer <simon@laptop.org> | 2012-11-23 17:38:55 (GMT) |
commit | 72ad92806c3a688efaa3835c9f0ea0e85fa6c9ff (patch) | |
tree | 6bcd4bfff7735be5d876c9b0678c9ebc41bbaeb5 | |
parent | f48950c24fc11d6070ad91dbd234436cb8d399f1 (diff) |
Use px unit for the separator border-width
Not using units is deprecated.
-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 */ |