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

docs: remove margin around logo background.

Browse source
This commit is contained in:
Jean-François Nguyen 2024-04-10 20:10:09 +02:00 committed by Catherine
parent 1b81a47b69
commit fd811831fd
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

@ -11,7 +11,7 @@ a { text-decoration: underline; }
/* Some of our section titles are looong */ /* Some of our section titles are looong */
@media screen and (min-width:769px) { @media screen and (min-width:769px) {
.wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; } .wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
.wy-side-nav-search { width: 325px; } .wy-side-nav-search { width: 340px; margin-bottom: .0em; }
.wy-nav-content-wrap { margin-left: 340px; } .wy-nav-content-wrap { margin-left: 340px; }
} }