From 73eb9c3058eee37d7ef2edececbb1ed4fd629574 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20=C3=85kre=20Solberg?= <andreas.solberg@uninett.no>
Date: Fri, 6 Mar 2009 10:41:50 +0000
Subject: [PATCH] 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 | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/www/resources/uitheme16/ui.theme.css b/www/resources/uitheme16/ui.theme.css
index 55f543c20..c0cd08f45 100755
--- a/www/resources/uitheme16/ui.theme.css
+++ b/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; }
--
GitLab