From d557afdcd9933750e51b24fc6f16dd1e359eab5a Mon Sep 17 00:00:00 2001 From: Catherine Date: Wed, 10 Apr 2024 00:42:56 +0000 Subject: [PATCH] docs: avoid excessive font smallness in the sidebar. --- docs/_static/custom.css | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docs/_static/custom.css b/docs/_static/custom.css index 1c92c8a..5e9d11b 100644 --- a/docs/_static/custom.css +++ b/docs/_static/custom.css @@ -24,6 +24,11 @@ a { text-decoration: underline; } /* Work around https://github.com/readthedocs/sphinx_rtd_theme/issues/1301 */ .py.property { display: block !important; } +/* Avoid excessively tiny font in the sidebar */ +.wy-menu-vertical li.toctree-l2, .wy-menu-vertical li.toctree-l3, .wy-menu-vertical li.toctree-l4 { font-size: 0.97em; } +/* For some cursed reason the RTD theme was decreasing the font size twice! */ +.wy-menu-vertical a { font-size: 100%; } + /* Work around images in docstrings being glued to the paragraph underneath */ .rst-content section dd>img { margin-bottom: 24px; }