Skip to content

Commit

Permalink
docs: fix custom CSS.
Browse files Browse the repository at this point in the history
  • Loading branch information
whitequark committed Jan 17, 2024
1 parent cf7c4c0 commit 31dd60d
Showing 1 changed file with 15 additions and 3 deletions.
18 changes: 15 additions & 3 deletions docs/_static/custom.css
Original file line number Diff line number Diff line change
@@ -1,7 +1,19 @@
/* Links in text should be underlined. */
a { text-decoration: underline; }
.wy-menu-vertical a, .wy-side-nav-search > a { text-decoration: none; }

/* Match the logo colors in the background. */
.wy-nav-top, .wy-side-nav-search { background-color: #784b9a; }

/* Make the logo more reasonably sized. */
.wy-side-nav-search > a img.logo { width: 160px; }

/* Some of our section titles are looong */
.wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
.wy-side-nav-search { width: 325px; }
.wy-nav-content-wrap { margin-left: 340px; }
@media screen and (min-width:769px) {
.wy-nav-side, .wy-side-scroll, .wy-menu-vertical { width: 340px; }
.wy-side-nav-search { width: 325px; }
.wy-nav-content-wrap { margin-left: 340px; }
}

/* We don't have a version picker widget */
.wy-nav-side { padding-bottom: 0; }
Expand Down

0 comments on commit 31dd60d

Please sign in to comment.