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

docs: remove all generated WaveDrom diagrams.

Browse source
This commit is contained in:
Catherine 2024-04-10 00:32:35 +00:00
parent 4f6b0f23c2
commit 1a962cc405
10 changed files with 93 additions and 117 deletions
Download patch file Download diff file Expand all files Collapse all files

8
docs/_static/custom.css vendored
View file

@ -22,4 +22,10 @@ a { text-decoration: underline; }
.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; }
.py.property { display: block !important; }
/* Work around images in docstrings being glued to the paragraph underneath */
.rst-content section dd>img { margin-bottom: 24px; }
/* No switchable color schemes */
img { color-scheme: light; }