2 files changed, 11 insertions, 2 deletions

diff --git a/util/doc-postprocess.pl b/util/doc-postprocess.pl
index 2fbea7c..6630a91 100644
--- a/util/doc-postprocess.pl
+++ b/util/doc-postprocess.pl
@@ -110,7 +110,6 @@ foreach my $filename (map(bsd_glob($_, GLOB_NOSORT), @ARGV))
     s/—/—/g;
     s/–/–/g;
     s/ *  */ /g;
-    s/(?<=\S)\s{2,}/ /g;
   }
 
   # write the whole buffer back
diff --git a/util/doxygen.css b/util/doxygen.css
index 3e7b3f6..80d987e 100644
--- a/util/doxygen.css
+++ b/util/doxygen.css
@@ -94,13 +94,23 @@ code, .fragment {
   font-family: monospace, fixed;
 }
 
-pre.fragment {
+pre.fragment, div.fragment {
   background-color: #EEEEFF;
   border: 1px solid #AAAAFF;
   padding: 0.5em;
   margin: 0.375em 0.75em 0.375em 0.2em;
 }
 
+div.fragment > pre.fragment {
+  border-style: none;
+  padding: 0;
+  margin: 0;
+}
+
+div.line {
+  white-space: pre;
+}
+
 div.ah {
   background-color: #000000;
   color: #FFFFFF;