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

docs: make the logo a bit smaller.

Browse source 
Co-authored-by: mcclure <mcclure@users.noreply.github.com>
This commit is contained in:
Catherine 2024-01-15 19:58:35 +00:00
parent bf8faea51e
commit b8ca2a09b4
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

@ -6,7 +6,7 @@ a { text-decoration: underline; }
.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; }
.wy-side-nav-search > a img.logo { width: 160px; }
/* Some of our section titles are looong */
@media screen and (min-width:769px) {