diff options
| -rw-r--r-- | Documentation/sphinx-static/custom.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/sphinx-static/custom.css b/Documentation/sphinx-static/custom.css index c992b1946edc..a88ef12428fa 100644 --- a/Documentation/sphinx-static/custom.css +++ b/Documentation/sphinx-static/custom.css @@ -7,6 +7,7 @@ div.body h1 { font-size: 180%; } div.body h2 { font-size: 150%; } div.body h3 { font-size: 130%; } +div.body h4 { font-size: 110%; } /* toctree captions are styled like h2 */ div.toctree-wrapper p.caption[role=heading] { font-size: 150%; } |