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

docs: change mobile navbar color too.

Browse source
This commit is contained in:
Catherine 2024-01-05 12:23:25 +00:00
parent 7eea9c39cf
commit 4014aef033
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/_static/custom.css vendored
View file

@ -3,7 +3,7 @@ a { text-decoration: underline; }
.wy-menu-vertical a, .wy-side-nav-search > a { text-decoration: none; }
/* Match the logo colors in the background. */
.wy-side-nav-search { background-color: #784b9a; }
.wy-nav-top, .wy-side-nav-search { background-color: #784b9a; }
/* Make the logo more reasonably sized. */
.wy-side-nav-search > a img.logo { width: 200px; }