diff options
author | Rares Visalom <rares.visalom@gmail.com> | 2017-07-13 22:01:09 +0300 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2017-07-14 22:40:25 +0200 |
commit | d4541a6f818f712d4342e74320f800a39f8f2364 (patch) | |
tree | c4681cd1d07b4d7e4145ef277a3e5466b6fe9749 /data/theme/gnome-shell-sass/widgets/_notifications.scss | |
parent | c1eaa8e52d00c70a4fa1f88683a1fa483437b93a (diff) | |
download | gnome-shell-d4541a6f818f712d4342e74320f800a39f8f2364.tar.gz |
gnome-shell: Use standard font size for the search-result-title class
The current size of the text is way bigger than what
we want now. The default front size is what we are
looking after, therefore no explicit value is needed
to specify the font size.
https://bugzilla.gnome.org/show_bug.cgi?id=749957
Diffstat (limited to 'data/theme/gnome-shell-sass/widgets/_notifications.scss')
m--------- | data/theme/gnome-shell-sass | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/data/theme/gnome-shell-sass b/data/theme/gnome-shell-sass -Subproject 46963bc8e332cbe36a0791ed6345c48241d5c52 +Subproject bc295fecf53b090dc59dee82427d6aae34da0bf |