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

docs: upgrade sphinx-rtd-theme, work around readthedocs/sphinx_rtd_theme#1301.

Browse source
This commit is contained in:
Catherine 2024-03-22 06:32:44 +00:00
parent 8861b8a3eb
commit 6b512520ff
2 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
docs/_static/custom.css vendored
View file

@ -20,3 +20,6 @@ a { text-decoration: underline; }
/* Many of our diagnostics are even longer */
.rst-content pre.literal-block, .rst-content div[class^="highlight"] pre, .rst-content .linenodiv pre { white-space: pre-wrap; }
/* Work around https://github.com/readthedocs/sphinx_rtd_theme/issues/1301 */
.py.property { display: block !important; }