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.
 
 
 

227 lines
3.6 KiB

html {
overflow-y: scroll;
}
body {
text-rendering: optimizeLegibility;
font-family: serif;
}
a {
text-decoration: none;
outline: none;
}
a.external {
background-image: url("data:image/svg+xml,%3C%3Fxml version='1.0' encoding='UTF-8'%3F%3E%3Csvg xmlns='http://www.w3.org/2000/svg' width='12' height='12'%3E%3Cpath fill='%23fff' stroke='%23000' d='M1.5 4.518h5.982V10.5H1.5z'/%3E%3Cpath fill='%23000' d='M5.765 1H11v5.39L9.427 7.937l-1.31-1.31L5.393 9.35l-2.69-2.688 2.81-2.808L4.2 2.544z'/%3E%3Cpath fill='%23fff' d='m9.995 2.004.022 4.885L8.2 5.07 5.32 7.95 4.09 6.723l2.882-2.88-1.85-1.852z'/%3E%3C/svg%3E%0A");
background-position: center right;
background-repeat: no-repeat;
padding-right: 15px;
}
.index h2 {
margin-top: 3rem;
}
.index h3 {
font: 1.1rem/1.5 serif;
}
.source {
font: 0.9rem/1.5 serif;
}
pre {
font-size: 0.9rem;
line-height: 1.2;
padding: 1rem;
overflow-x: auto;
}
:not(pre)>code {
padding: 0 2px;
font-size: 0.8rem;
}
.container {
max-width: 56rem;
margin: 1rem auto 12rem auto;
}
.footer {
font: 0.9rem/1.5 serif;
text-align: center;
}
.toc {
float: right;
padding: 0.75rem;
padding-top: 0;
margin-left: 0.75rem;
}
.toc ul {
padding-left: 1.2rem;
margin: 0;
}
.toc li {
margin-top: 0.75rem;
}
.content p.metadata {
font: 0.9rem/1.0 serif;
font-style: italic;
}
.content div.summary p {
margin-top: -0.6rem;
margin-left: 1.5rem;
}
.content {
max-width: 36rem;
}
.content-wide {
max-width: none;
}
.content p {
font: 1.1rem/1.5 serif;
}
.content ul {
padding-left: 1.1rem;
}
.content li {
font: 1.1rem/1.5 serif;
}
.content img:not(.floated) {
width: 100%;
max-width: 36rem;
height: auto;
}
.content .floated {
float: left;
margin-right: 1rem;
}
.content .aside {
display: inline;
float: left;
position: relative;
width: 8rem;
margin-left: -9rem;
font-size: 0.9rem;
}
.content.index {
margin-top: 3rem;
}
.toclink:not(:hover) {
border-bottom: none;
}
@media screen and (min-width:36rem) {
.content {
margin-left: 10rem;
}
.bar {
margin-top: 2px;
float: left;
width: 8rem;
text-align: right;
white-space: nowrap;
}
}
@media screen and (max-width:36rem) {
.bar {
overflow: auto;
margin-bottom: -1rem;
}
}
body {
background-color: #fff;
color: #000;
}
a {
color: #000;
border-bottom: 1px solid #000;
}
a:visited {
color: #555;
border-bottom: 1px solid #555;
}
a.return-home:visited, a.toclink:visited, .toc a:visited {
color: inherit;
border-bottom: inherit;
}
pre {
background-color: #ddd;
}
:not(pre)>code {
background-color: #ddd;
}
.toc {
background-color: #ddd;
}
.content p.metadata {
color: #555;
}
@media (prefers-color-scheme: dark) {
body {
background-color: #000;
color: #fff;
}
a {
color: #fff;
border-bottom: 1px solid #fff;
}
a:visited {
color: #aaa;
border-bottom: 1px solid #aaa;
}
pre {
background-color: #222;
}
:not(pre)>code {
background-color: #222;
}
.toc {
background-color: #222;
}
.content p.metadata {
color: #aaa;
}
.content img {
filter: brightness(75%);
}
.contact-icons img {
filter: invert(1);
}
}