usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

docs: avoid excessive font smallness in the sidebar.

Browse source
This commit is contained in:
Catherine 2024-04-10 00:42:56 +00:00
parent 3103841eee
commit d557afdcd9
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
docs/_static/custom.css vendored
View file

@ -24,6 +24,11 @@ a { text-decoration: underline; }
/* Work around https://github.com/readthedocs/sphinx_rtd_theme/issues/1301 */ /* Work around https://github.com/readthedocs/sphinx_rtd_theme/issues/1301 */
.py.property { display: block !important; } .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 */ /* Work around images in docstrings being glued to the paragraph underneath */
.rst-content section dd>img { margin-bottom: 24px; } .rst-content section dd>img { margin-bottom: 24px; }