Increase fontsize of <pre> elements

diff --git a/themes/default/global.css b/themes/default/global.css
index 2e38ba86fa012e69cc3e13a09ad82122ccf6b47a..3cb0844a208e8462c09703e92446cb7af2d51598 100644 (file)
--- a/themes/default/global.css
+++ b/themes/default/global.css
@@ -1,7 +1,7 @@
 /**
  * Default style sheet
  *
- * $Id: global.css,v 1.24 2004/07/19 08:06:03 jollytoad Exp $
+ * $Id: global.css,v 1.25 2004/07/22 08:51:34 jollytoad Exp $
  */
 
 /** ELEMENTS */
@@ -279,7 +279,13 @@ a.navlink:active, a.toplink:active
        font-weight: bold;
 }
 
+pre
+{
+       font-size: 110%;
+}
+
 pre.data
 {
        font-family: arial, tahoma, verdana, helvetica, sans-serif, serif;
+       font-size: 100%;
 }