15 lines
502 B
CSS
15 lines
502 B
CSS
/* Some of our section titles are looong */
|
|
.wy-menu-vertical { width: 340px; }
|
|
|
|
/* 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; }
|
|
|
|
/* Override what contentui does to body style */
|
|
.wy-nav-content { max-width: 800px !important; }
|
|
|
|
/* Make rubrics work like h3 */
|
|
.rst-content p.rubric {
|
|
font-size: 125%;
|
|
font-family: Roboto Slab,ff-tisa-web-pro,Georgia,Arial,sans-serif;
|
|
}
|