From e7be721e9a6c4fc8db85050c39dec1736fd74690 Mon Sep 17 00:00:00 2001 From: Marc Fonvieille Date: Wed, 9 Nov 2005 14:08:09 +0000 Subject: [PATCH] Some and
 font-size tweaks to match
 previous change.

---
 en/layout/css/global.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/en/layout/css/global.css b/en/layout/css/global.css
index 4c370cc4b4..1887efe157 100644
--- a/en/layout/css/global.css
+++ b/en/layout/css/global.css
@@ -72,11 +72,13 @@ li > p {
 pre {
   font-family: monospace;
 /*  font-size: 1.4em; */
+  font-size: 1.2em;
 }
 
 tt {
   font-family: monospace;
 /*  font-size: 1.4em; */
+  font-size: 1.2em;
 }
 
 strong, b {