From a78a6d6233ba029b7373fafe23af9d8d80dad124 Mon Sep 17 00:00:00 2001
From: deuce <>
Date: Mon, 19 Dec 2011 06:07:53 +0000
Subject: [PATCH] Fix bug reported by Slinky (Thanks!)
---
web/root/default.css | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/web/root/default.css b/web/root/default.css
index dbb116818e..c3f24af473 100644
--- a/web/root/default.css
+++ b/web/root/default.css
@@ -724,7 +724,7 @@ pre.leftalign {
color: #aaaaaa;
text-align: left;
padding: 3px;
- font-size11pt;
+ font-size: 11pt;
}
pre.leftalignwht {
@@ -892,4 +892,4 @@ ol.externals li {
p.disclaimer {
font-size: 9pt;
-}
\ No newline at end of file
+}
--
GitLab