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

docs: add logo.

Browse source
This commit is contained in:
Catherine 2024-01-04 11:28:04 +00:00
parent 0191011bde
commit 8ac22bc114
3 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
docs/_static/custom.css vendored
View file

@ -2,6 +2,9 @@
a { text-decoration: underline; }
.wy-menu-vertical a, .wy-side-nav-search > a { text-decoration: none; }
/* Make the logo more reasonably sized. */
.wy-side-nav-search > a img.logo { width: 200px; }
/* Some of our section titles are looong */
.wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
.wy-side-nav-search { width: 325px; }

BIN
docs/_static/logo.png vendored Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 287 KiB