diff options
Diffstat (limited to 'doc/html/minimal.css')
-rw-r--r-- | doc/html/minimal.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/html/minimal.css b/doc/html/minimal.css index b56226b1df..2e5812a9b8 100644 --- a/doc/html/minimal.css +++ b/doc/html/minimal.css @@ -23,7 +23,7 @@ table { margin: 0.5em; } Font sizes *******************************************************************************/ -p, td, li { font-size: 10pt; } +p, td, li, blockquote { font-size: 10pt; } pre { font-size: 9pt; } /*** end ***/
\ No newline at end of file |