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

docs: fix sidebar CSS.

Browse source
This commit is contained in:
Catherine 2023-11-27 13:15:06 +00:00
parent b2d8a18cbf
commit 1eea38c9c0
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
docs/_static/custom.css vendored
View file

@ -1,5 +1,10 @@
/* Some of our section titles are looong */
.wy-menu-vertical { width: 340px; }
.wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
.wy-side-nav-search { width: 325px; }
.wy-nav-content-wrap { margin-left: 340px; }
/* We don't have a version picker widget */
.wy-nav-side { padding-bottom: 0; }
/* 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; }