From 760b34a0e07e26376578d7eb0eb44cf8dc3653e9 Mon Sep 17 00:00:00 2001
From: LoRd_MuldeR <mulder2@gmx.de>
Date: Sat, 13 Oct 2012 12:33:17 +0200
Subject: [PATCH] Small formating update.

---
 doc/Changelog.html | 3 ++-
 doc/FAQ.html       | 2 +-
 doc/Manual.html    | 3 ++-
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/doc/Changelog.html b/doc/Changelog.html
index c5d3f2cc..6dd00938 100644
--- a/doc/Changelog.html
+++ b/doc/Changelog.html
@@ -5,11 +5,12 @@
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <style type="text/css">
 <!--
-body { font-family:Monospace; font-size:10pt; }
+body { font-family:Consolas, "Lucida Console", Monospace; font-size:10pt; }
 a { text-decoration:none; color:#0000EE; transition:color 0.5s ease; -moz-transition:background-color 0.5s ease; -o-transition:background-color 0.5s ease; -webkit-transition:background-color 0.5s ease; }
 a:hover { background-color: #CCCCCC; }
 a:active { color: #551A8B; }
 a:visited { color: #0000EE; }
+.code { background-color: #EAEAEA; }
 -->
 </style>
 </head>
diff --git a/doc/FAQ.html b/doc/FAQ.html
index 86119f7e..d017cfe7 100644
--- a/doc/FAQ.html
+++ b/doc/FAQ.html
@@ -10,7 +10,7 @@ a { text-decoration:none; color:#0000EE; transition:color 0.5s ease; -moz-transi
 a:hover { background-color: #CCCCCC; }
 a:active { color: #551A8B; }
 a:visited { color: #0000EE; }
-.code { background-color: #E0E0E0; }
+.code { background-color: #EAEAEA; }
 -->
 </style>
 </head>
diff --git a/doc/Manual.html b/doc/Manual.html
index da696ad8..840493f7 100644
--- a/doc/Manual.html
+++ b/doc/Manual.html
@@ -5,11 +5,12 @@
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
 <style type="text/css">
 <!--
-body { font-family:Monospace; font-size:10pt; }
+body { font-family:Consolas, "Lucida Console", Monospace; font-size:10pt; }
 a { text-decoration:none; color:#0000EE; transition:color 0.5s ease; -moz-transition:background-color 0.5s ease; -o-transition:background-color 0.5s ease; -webkit-transition:background-color 0.5s ease; }
 a:hover { background-color: #CCCCCC; }
 a:active { color: #551A8B; }
 a:visited { color: #0000EE; }
+.code { background-color: #EAEAEA; }
 -->
 </style>
 </head>