-html {
- scroll-behavior: smooth;
-}
+html { scroll-behavior: smooth }
body {
font-size: 1em;
}
@media only screen and (min-width: 500px) {
- body {
- overflow-x: auto;
- }
+ body { overflow-x: auto }
+ main { padding: 0 64px 0 74px }
- main {
- padding: 0 0 0 66px
+ h1 a {
+ display: block;
+ width: 64px;
}
- .columned {
- width: max-content;
- }
+ .columned { width: max-content }
.columned .h2:not(:only-child) {
float: left;
margin: 0 40px;
}
- .columned .h2:not(:only-child) h2 {
- width: 14.6em;
- }
+ .columned .h2:not(:only-child) h2 { width: 14.6em }
.columned .h2:not(:only-child) .h3,
.columned .h2:not(:only-child) li,
- .columned .h2:not(:only-child) p {
- width: 24em;
- }
-
+ .columned .h2:not(:only-child) p { width: 24em }
.columned .h2:not(:only-child) pre { width: 25em }
header {
float: left;
- margin-top: 1.2em;
+ margin-top: 0.8em;
}
}
-.columned .h2:first-of-type pre {
- line-height: 1;
-}
+.columned .h2:first-of-type pre { line-height: 1 }
blockquote, p, article > div {
margin: 0 0.3em;
br { display: none }
h1, h2, h3 { font-weight: normal }
-h1 { font-size: 1em }
+h1 { font-size: 2em }
h2 { font-size: 1.65em }
h3 { font-size: 1.25em }
+header h1 { font-size: 1em }
pre {
font-family: courier, monospace;
font-size: 0.875em;
min-height: 48px;
}
- a:visited {
- color: #ed6eff;
- }
+ a:visited { color: #ed6eff }
- pre {
- background-color: #222;
- }
+ pre { background-color: #222 }
}