diff options
Diffstat (limited to 'doc/global/template/style/offline.css')
-rw-r--r-- | doc/global/template/style/offline.css | 8 |
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; |