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

docs: use sphinxcontrib-platformpicker.

Browse source 
Fixes #416.
This commit is contained in:
whitequark 2020-07-05 23:39:47 +00:00
parent f1153352c0
commit 1fbd7f1d08
4 changed files with 22 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

9
docs/_static/custom.css vendored
View file

@ -3,12 +3,3 @@
/* 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; }
/* Override what contentui does to body style */
.wy-nav-content { max-width: 800px !important; }
/* Make rubrics work like h3 */
.rst-content p.rubric {
font-size: 125%;
font-family: Roboto Slab,ff-tisa-web-pro,Georgia,Arial,sans-serif;
}