diff options
Diffstat (limited to 'Documentation/sphinx-static')
| -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 9b36f7abd24f..45a624fdcf2c 100644 --- a/Documentation/sphinx-static/custom.css +++ b/Documentation/sphinx-static/custom.css @@ -11,6 +11,7 @@ div.body h3 { font-size: 130%; } /* Tighten up the layout slightly */ div.body { padding: 0 15px 0 10px; } div.sphinxsidebarwrapper { padding: 1em 0.4em; } +div.sphinxsidebar { font-size: inherit; } /* Tweak document margins and don't force width */ div.document { margin: 20px 10px 0 10px; |