1 files changed, 6 insertions, 2 deletions
diff --git a/doc/global/template/style/offline.css b/doc/global/template/style/offline.css
index 6621b6bbcb..e2081596c9 100644
--- a/doc/global/template/style/offline.css
+++ b/doc/global/template/style/offline.css
@@ -428,7 +428,7 @@ table styles
 
 /* table with border alternative colours*/
 
-table, pre {
+table, pre, .LegaleseLeft {
     -moz-border-radius: 7px 7px 7px 7px;
     -webkit-border-radius: 7px 7px 7px 7px;
     border-radius: 7px 7px 7px 7px;
@@ -485,6 +485,10 @@ table, pre {
      margin: 0px
  }
 
+.LegaleseLeft {
+    font-family: monospace;
+    white-space: pre-wrap;
+}
 /* table bodless & white*/
 
 .borderless {
@@ -547,7 +551,7 @@ ol.a > li{
     text-align: left
 }
 
-.cpp {
+.cpp, .LegaleseLeft {
     display: block;
     margin: 10px;
     overflow: auto;