[gnome-shell] gnome-shell.css: specify font size for overview view selector area

[Dan Winship <danw src gnome org>]

commit 6bae9ed20ddddabfbca6065152308db62a3c890a
Author: Dan Winship <danw gnome org>
Date:   Tue Jan 11 09:14:32 2011 -0500

    gnome-shell.css: specify font size for overview view selector area
    
    Previously this was inheriting the default size, which is specified in
    pts, and so would make the text larger than its 16px containing box if
    you have high DPI.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=639213

 data/theme/gnome-shell.css |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index b1cfe64..344692a 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -338,6 +338,7 @@ StTooltip StLabel {
 
 #viewSelector {
     spacing: 16px;
+    font-size: 16px;
 }
 
 #viewSelectorTabBar {