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

docs: links should be underlined.

Browse source
This commit is contained in:
Catherine 2024-01-04 12:54:23 +00:00
parent e356ee2cac
commit 0191011bde
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/_static/custom.css vendored
View file

@ -1,3 +1,7 @@
/* Links in text should be underlined. */
a { text-decoration: underline; }
.wy-menu-vertical a, .wy-side-nav-search > a { text-decoration: none; }
/* Some of our section titles are looong */
.wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
.wy-side-nav-search { width: 325px; }