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