diff options
| author | Cosimo Cecchi <cosimoc@gnome.org> | 2013-01-22 20:04:38 -0500 |
|---|---|---|
| committer | Cosimo Cecchi <cosimoc@gnome.org> | 2013-01-22 20:04:38 -0500 |
| commit | 00194b55a5c93c63bb923673c1606c94fef73ab5 (patch) | |
| tree | 9db1fc2cb09c81e8493aa3bca9ced8817bf538dd | |
| parent | 942c32e8c84007c4dc4d2c52674647108b217d9f (diff) | |
| download | gnome-themes-standard-00194b55a5c93c63bb923673c1606c94fef73ab5.tar.gz | |
Add a selector for SushiFontWidget padding
Used both in sushi and gnome-font-viewer.
https://bugzilla.gnome.org/show_bug.cgi?id=692247
| -rw-r--r-- | themes/Adwaita/gtk-3.0/gnome-applications.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/themes/Adwaita/gtk-3.0/gnome-applications.css b/themes/Adwaita/gtk-3.0/gnome-applications.css index 64c2a03a..69e63fc3 100644 --- a/themes/Adwaita/gtk-3.0/gnome-applications.css +++ b/themes/Adwaita/gtk-3.0/gnome-applications.css @@ -4,6 +4,11 @@ /**************** * Applications * ****************/ +/* used by gnome-font-viewer and sushi */ +SushiFontWidget { + padding: 6px 12px; +} + /* gnome-terminal */ TerminalScreen { background-color: @theme_base_color; |