From 57d167b3e027722636cf19d4effa41db32c31ae6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Chapeaux?= <lolo@phpheaven.net>
Date: Tue, 4 Sep 2001 20:34:49 +0000
Subject: [PATCH] Added a style selector for <tt>

---
 header.inc.php3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/header.inc.php3 b/header.inc.php3
index c124e49b1..ea0438a98 100755
--- a/header.inc.php3
+++ b/header.inc.php3
@@ -43,7 +43,7 @@ set_font_sizes();
 <style type="text/css">
 <!--
 body          {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>}
-pre           {font-size: <?php echo $font_size; ?>}
+pre, tt       {font-size: <?php echo $font_size; ?>}
 th            {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>; font-weight: bold; background-color: <?php echo $cfgThBgcolor;?>}
 td            {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>}
 form          {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>}