diff options
Diffstat (limited to 'doc/html/minimal.css')
| -rw-r--r-- | doc/html/minimal.css | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/doc/html/minimal.css b/doc/html/minimal.css new file mode 100644 index 0000000000..2e5812a9b8 --- /dev/null +++ b/doc/html/minimal.css @@ -0,0 +1,29 @@ +/* + + © Copyright Beman Dawes, 2007 + + Distributed under the Boost Software License, Version 1.0. + See www.boost.org/LICENSE_1_0.txt + +*/ + +/******************************************************************************* + Body +*******************************************************************************/ + +body { font-family: sans-serif; margin: 1em; } + +/******************************************************************************* + Table +*******************************************************************************/ + +table { margin: 0.5em; } + +/******************************************************************************* + Font sizes +*******************************************************************************/ + +p, td, li, blockquote { font-size: 10pt; } +pre { font-size: 9pt; } + +/*** end ***/
\ No newline at end of file |