1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
/* Temporary hack to work around bug in rtd theme 2.0 through 2.4
See https://github.com/rtfd/sphinx_rtd_theme/pull/382
*/
pre {
line-height: normal !important;
}
/* Make .. deprecation:: blocks visible
* (by default they're entirely unstyled)
*/
.deprecated {
background-color: #ffe13b;
}
/* Add a snakey triskelion ornament to <hr>
* https://stackoverflow.com/questions/8862344/css-hr-with-ornament/18541258#18541258
* but only do it to <hr>s in the content box, b/c the RTD popup control panel
* thingummy also has an <hr> in it, and putting the ornament on that looks
* *really weird*. (In particular, the background color is wrong.)
*/
.rst-content hr:after {
/* This .svg gets displayed on top of the middle of the hrule. It has a box
* behind the logo that's colored to match the RTD theme body background
* color (#fcfcfc), which hides the middle part of the hrule to make it
* look like there's a gap in it. The size of the box determines the size
* of the gap.
*/
background: url('ornament.svg') no-repeat top center;
background-size: contain;
content: "";
display: block;
height: 30px;
position: relative;
top: -15px;
}
/* Hacks to make the upper-left logo area look nicer */
.wy-side-nav-search {
/* Lighter background color to match logo */
background-color: #d2e7fa !important;
}
.wy-side-nav-search > a {
color: #306998 !important;
}
.wy-side-nav-search > a.logo {
display: block !important;
padding-bottom: 0.809em !important;
}
.wy-side-nav-search > a img.logo {
display: inline !important;
padding: 20 !important;
}
.trio-version {
display: inline;
/* I *cannot* figure out how to get the version text vertically centered
on the logo. Oh well...
height: 32px;
line-height: 32px;
*/
}
.wy-side-nav-search > a {
/* Mostly this is just to simplify things, so we don't have margin/padding
* on both the <a> and the <img> inside it */
margin: 0 !important;
padding: 0 !important;
}
/* Get rid of the weird super dark "Contents" label that wastes vertical space
*/
.wy-menu-vertical > p.caption {
display: none !important;
}
/* I do not like RTD's use of Roboto Slab for headlines. So force it back to
* Lato (or whatever fallback it's using if Lato isn't available for some
* reason). I also experimented with using Montserrat to be extra obnoxiously
* on brand, but honestly you couldn't really tell so there wasn't much point
* in adding page weight for that, and this is going to match the body text
* better. (Montserrat for body text *definitely* didn't look good, alas.)
*/
h1, h2, h3, h4, h5, h6, legend, .rst-content .toctree-wrapper p.caption {
font-family: inherit !important;
}
/* Get rid of the horrible red for literal content */
.rst-content tt.literal, .rst-content tt.literal, .rst-content code.literal {
color: #222 !important;
}
/* Style the "Need help?" text just underneath the search box */
.trio-help-hint {
line-height: normal;
margin-bottom: 0;
/* font-size: 12px; */
font-size: 80%; /* matches the "Search docs" box */
padding-top: 6px;
color: #306998;
text-align: center;
}
a.trio-help-hint, .trio-help-hint a:link, .trio-help-hint a:visited {
color: inherit;
/* Like text-decoration: underline, but with a thinner line */
text-decoration: none;
border-bottom: 1px solid;
}
|
