1 files changed, 11 insertions, 1 deletions
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;