You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

181 lines
2.3 KiB

html {
overflow-y: scroll;
}
body {
text-rendering: optimizeLegibility;
4 years ago
font: 1.2rem/1.0 Lato,sans-serif;
background-color: rgb(245, 245, 245);
background-color: white;
4 years ago
}
a {
color: #000000;
text-decoration: none;
outline: none;
border-bottom: 1px solid #000;
}
pre {
font-size: 1rem;
background-color: #eee;
padding: 1rem;
}
.container {
4 years ago
max-width: 56rem;
margin: 2rem auto 0 auto;
}
.sidebar {
4 years ago
margin-top: 2px;
float: left;
width: 8rem;
text-align: right;
}
.sidebar .me {
width: 100%;
4 years ago
display: block;
}
.sidebar .info {
margin-top: 2rem;
}
.sidebar .contact-icons a {
border-bottom: none;
}
.sidebar .contact-icons img {
width: 1.25rem;
height: 1.25rem;
margin-left: 0.5rem;
}
.topbar {
display: table;
overflow: auto;
margin: auto;
margin-top: -0.5rem;
font-size: 1.5rem;
}
.topbar .me {
float: left;
height: 6rem;
width: auto;
}
.topbar .info {
float: left;
margin-top: -0.25rem;
margin-left: 1.5rem;
}
.topbar .contact-icons {
margin-top: 1.5rem;
margin-left: 0.25rem;
margin-bottom: 0;
}
.topbar .contact-icons a {
border-bottom: none;
}
.topbar .contact-icons img {
width: 1.5rem;
height: 1.5rem;
margin-right: 1rem;
}
4 years ago
.toc {
float: right;
background-color: #eee;
padding: 0.75rem;
padding-top: 0;
}
.toc ul {
padding-left: 1.2rem;
margin: 0;
4 years ago
}
.toc li {
margin-top: 0.75rem;
}
.content p.metadata {
color: #555;
font: 1rem/1.0 Apparatus SIL,serif;
font-style: italic;
}
.content div.summary p {
margin-top: -0.5rem;
margin-left: 1rem;
font-style: italic;
4 years ago
}
.content {
4 years ago
max-width: 36rem;
}
.content p {
font: 1.2rem/1.5 Apparatus SIL,serif;
}
.content ul {
4 years ago
padding-left: 1.1rem;
}
.content li {
font: 1.2rem/1.5 Apparatus SIL,serif;
}
.content img {
width: 100%;
height: auto;
}
.toclink:not(:hover)::after {
visibility: hidden;
}
.toclink::after {
color: #999;
content: "\00B6";
margin-left: 0.5rem;
}
4 years ago
@media screen and (min-width:36rem) {
.content {
margin-left: 10rem;
}
.topbar {
display: none;
}
}
4 years ago
@media screen and (max-width:36rem) {
.sidebar {
display: none;
}
}
4 years ago
.darkmode-toggle {
z-index: 500;
}
.darkmode--activated .content img {
filter: brightness(75%);
}
.darkmode--activated video {
mix-blend-mode: difference;
}
.darkmode--activated .contact-icons img {
filter: invert(1);
}