2020-04-27 01:21:31 -06:00
|
|
|
/* Some of our section titles are looong */
|
2023-11-27 06:15:06 -07:00
|
|
|
.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; }
|
2020-04-27 01:21:31 -06:00
|
|
|
|
|
|
|
|
/* Many of our diagnostics are even longer */
|
|
|
|
|
.rst-content pre.literal-block, .rst-content div[class^="highlight"] pre, .rst-content .linenodiv pre { white-space: pre-wrap; }
|
