142 lines
2.1 KiB
CSS
142 lines
2.1 KiB
CSS
/* Fonts */
|
|
|
|
@import url('https://fonts.googleapis.com/css2?family=Source+Sans+Pro:ital,wght@0,400;0,600;1,400;1,600&family=Source+Serif+Pro:ital,wght@0,400;0,700;1,400;1,700&display=swap');
|
|
|
|
body {
|
|
font-family: 'Source Serif Pro', serif;
|
|
}
|
|
|
|
div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
|
|
font-family: 'Source Sans Pro', sans-serif;
|
|
font-weight: 600;
|
|
}
|
|
|
|
div.sphinxsidebarwrapper h1.logo {
|
|
font-weight: 600;
|
|
}
|
|
|
|
/* Paragraph numbers */
|
|
|
|
div.body p {
|
|
position: relative;
|
|
}
|
|
|
|
span.paragraph-num {
|
|
width: 3rem;
|
|
position: absolute;
|
|
left: -3.5rem;
|
|
padding-right: 1rem; /* For mouseover bounding box */
|
|
|
|
text-align: right;
|
|
font-size: 0.8rem;
|
|
|
|
visibility: hidden;
|
|
}
|
|
|
|
span.paragraph-num a {
|
|
color: #aaa;
|
|
text-decoration: none;
|
|
}
|
|
span.paragraph-num a:hover {
|
|
border-bottom: 1px solid #aaa;
|
|
}
|
|
|
|
span.paragraph-num a::before {
|
|
content: '¶';
|
|
}
|
|
|
|
p:hover span.paragraph-num {
|
|
visibility: visible;
|
|
}
|
|
|
|
/* Remove underlining from links */
|
|
|
|
a, a.reference, a.footnote-reference {
|
|
border-bottom: none;
|
|
}
|
|
|
|
/* Sidebar */
|
|
|
|
div.sphinxsidebarwrapper p.caption {
|
|
display: none;
|
|
}
|
|
|
|
div.sphinxsidebarwrapper div.logo {
|
|
display: flex;
|
|
align-items: center;
|
|
}
|
|
|
|
div.sphinxsidebarwrapper div.logo a:not(:hover) {
|
|
border: none;
|
|
}
|
|
|
|
div.sphinxsidebarwrapper div.logo > a {
|
|
border: none;
|
|
max-width: 40%;
|
|
margin-right: 0.5em;
|
|
}
|
|
|
|
div.sphinxsidebarwrapper div.logo img.logo {
|
|
max-height: 10em;
|
|
}
|
|
|
|
/* Footer(s) */
|
|
|
|
div.pre-footer {
|
|
padding: 4px;
|
|
font-size: 16px;
|
|
text-align: center;
|
|
border: 1px solid #999;
|
|
}
|
|
|
|
div.pre-footer a {
|
|
color: #444;
|
|
}
|
|
|
|
div.pre-footer-wide {
|
|
width: 940px;
|
|
margin: 20px auto 0 auto;
|
|
}
|
|
|
|
div.pre-footer-narrow {
|
|
display: none;
|
|
margin: 30px auto 0 auto;
|
|
}
|
|
|
|
/* Fix display on very narrow screens */
|
|
|
|
div.body {
|
|
min-width: 0;
|
|
}
|
|
|
|
/* Media queries */
|
|
|
|
@media screen and (max-width: 875px) {
|
|
/* Override narrow window list formatting */
|
|
|
|
ul {
|
|
margin-left: 30px;
|
|
}
|
|
|
|
/* Paragraph numbers */
|
|
|
|
span.paragraph-num {
|
|
left: -3.2rem;
|
|
}
|
|
|
|
/* Sidebar text colour */
|
|
|
|
div.sphinxsidebar ul {
|
|
color: #fff;
|
|
}
|
|
|
|
/* Footer(s) */
|
|
|
|
div.pre-footer-wide {
|
|
display: none;
|
|
}
|
|
div.pre-footer-narrow {
|
|
display: block;
|
|
}
|
|
}
|