diff options
Diffstat (limited to 'doc/src')
-rw-r--r-- | doc/src/minimal.css | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/doc/src/minimal.css b/doc/src/minimal.css index 401b73e529..76d1031130 100644 --- a/doc/src/minimal.css +++ b/doc/src/minimal.css @@ -7,16 +7,17 @@ */ -/******************************************************************************* - Body -*******************************************************************************/ +body { + font-family: sans-serif; + margin: 1em; + max-width : 8.5in; + } -body { font-family: sans-serif; margin: 1em; } +table { margin: 0.5em; } -/******************************************************************************* - Table -*******************************************************************************/ +pre { background-color:#D7EEFF } -table { margin: 0.5em; } +ins { background-color:#A0FFA0 } +del { background-color:#FFA0A0 } /*** end ***/
\ No newline at end of file |