diff --git a/doc/style.css b/doc/style.css index a46b8f8a99..882ce7435d 100644 --- a/doc/style.css +++ b/doc/style.css @@ -71,7 +71,7 @@ h2 { padding: 2px 5px; } h3 { - font-size: 18px; + font-size: 20px; } h3, h4 {