File: styles.css

package info (click to toggle)
python-trio 0.31.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,996 kB
  • sloc: python: 30,126; sh: 82; makefile: 25
file content (96 lines) | stat: -rw-r--r-- 2,939 bytes parent folder | download
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
/* Make .. deprecation:: blocks visible
 * (by default they're entirely unstyled)
 */
.deprecated {
    background-color: #ffe13b;
}

/* Make typevar/paramspec names distinguishable from classes. */
.typevarref {
    text-decoration: dashed underline;
}

/* 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 {
    overflow: visible;
}

.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 > a {
    color: #306998 !important;
}

/* vertically center version text */
.wy-side-nav-search > a {
    display: flex;
    align-items: center;
    margin: auto;
    width: max-content;
}

.wy-side-nav-search > a img.logo {
    margin-left: 0;
    margin-right: 5px;
}

/* 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;
}