diff options
author | Simon Schampijer <simon@laptop.org> | 2012-11-23 17:37:57 (GMT) |
---|---|---|
committer | Ajay Garg <ajay@activitycentral.com> | 2012-11-23 20:17:47 (GMT) |
commit | 9b7c1e74d10253282874fa8b4b70a3c930bed954 (patch) | |
tree | b603cb7501632d0efcc13301dec09c3f93f53046 | |
parent | dcaadaa4fcec2abe56aa18a5467acd2d1fd858cf (diff) |
Use px unit for the separator border-width
Not using units is deprecated.
Signed-off-by: Ajay Garg <ajay@activitycentral.com>
-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 5208740..1996034 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 */ |