Smaller UI Widget font in jquery

git-svn-id: https://simplesamlphp.googlecode.com/svn/trunk@1378 44740490-163a-0410-bde0-09ae8108e29a

www/resources/uitheme16/ui.theme.css

@@ -10,7 +10,7 @@
 
 /* Component containers
 ----------------------------------*/
-.ui-widget { font-family: Verdana,Arial,sans-serif; font-size: 1.1em; }
+/* .ui-widget { font-family: Verdana,Arial,sans-serif; font-size: 1.1em; } */
 .ui-widget input, .ui-widget select, .ui-widget textarea, .ui-widget button { font-family: Verdana,Arial,sans-serif; font-size: 1em; }
 .ui-widget-header { border: 1px solid #aaaaaa; background: #cccccc url(images/ui-bg_highlight-soft_75_cccccc_1x100.png) 50% 50% repeat-x; color: #222222; font-weight: bold; }
 .ui-widget-header a { color: #222222; }