From 6bae9ed20ddddabfbca6065152308db62a3c890a Mon Sep 17 00:00:00 2001
From: Dan Winship <danw@gnome.org>
Date: Tue, 11 Jan 2011 09:14:32 -0500
Subject: [PATCH] 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 file changed, 1 insertion(+)

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index b1cfe6444..344692af7 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 {