diff --git a/doc/boost.css b/doc/boost.css index c382d4c6..cf5c8a97 100644 --- a/doc/boost.css +++ b/doc/boost.css @@ -23,10 +23,12 @@ BODY PRE { MARGIN-LEFT: 2pc; + FONT-SIZE: 80%; BACKGROUND-COLOR: #dfffff } CODE { + FONT-SIZE: 95%; white-space: pre } .index