2023-11-19 21:06:25 +00:00
|
|
|
$sidenotes-width: 20rem
|
|
|
|
$content-margin: 1rem
|
|
|
|
$content-width: 40rem
|
2024-01-02 02:23:11 +00:00
|
|
|
$navbar-width: 20rem
|
2024-01-02 16:30:31 +00:00
|
|
|
|
|
|
|
:root
|
|
|
|
--autocol-lightness: 80%
|
|
|
|
--autocol-saturation: 100%
|
|
|
|
|
2023-08-31 12:00:53 +00:00
|
|
|
@font-face
|
|
|
|
font-family: 'Titillium Web'
|
|
|
|
font-style: normal
|
|
|
|
font-weight: 400
|
|
|
|
font-display: swap
|
|
|
|
src: url(/assets/titillium-web.woff2) format('woff2')
|
|
|
|
unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD
|
|
|
|
|
|
|
|
@font-face
|
|
|
|
font-family: 'Titillium Web'
|
|
|
|
font-style: normal
|
|
|
|
font-weight: 600
|
|
|
|
font-display: swap
|
|
|
|
src: url(/assets/titillium-web-semibold.woff2) format('woff2')
|
|
|
|
unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD
|
|
|
|
|
|
|
|
@font-face
|
|
|
|
font-family: 'Share Tech Mono'
|
|
|
|
font-style: normal
|
|
|
|
font-weight: 400
|
|
|
|
font-display: swap
|
|
|
|
src: url(/assets/share-tech-mono.woff2) format('woff2')
|
|
|
|
unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD
|
|
|
|
|
2020-06-20 16:23:59 +00:00
|
|
|
body
|
|
|
|
margin: 0
|
2023-08-31 12:00:53 +00:00
|
|
|
font-family: 'Titillium Web', 'Fira Sans', sans-serif
|
|
|
|
line-height: 1.3
|
|
|
|
|
|
|
|
pre, code, .deemph
|
|
|
|
font-family: 'Share Tech Mono', monospace
|
2020-06-20 16:23:59 +00:00
|
|
|
|
|
|
|
a
|
|
|
|
text-decoration: none
|
|
|
|
|
2024-02-25 21:30:23 +00:00
|
|
|
.blog-post a, .sidenotes a
|
|
|
|
text-decoration: underline
|
|
|
|
|
|
|
|
|
2020-06-20 16:23:59 +00:00
|
|
|
nav
|
|
|
|
display: flex
|
|
|
|
align-items: center
|
|
|
|
|
|
|
|
padding: 1em
|
|
|
|
margin-bottom: 0.5em
|
|
|
|
background: black
|
2024-02-25 21:30:23 +00:00
|
|
|
overflow-x: auto
|
2023-08-31 12:00:53 +00:00
|
|
|
font-size: 1.1em
|
2020-06-20 16:23:59 +00:00
|
|
|
|
|
|
|
.logo
|
2022-03-09 20:59:26 +00:00
|
|
|
width: 1.5rem
|
|
|
|
height: 1.5rem
|
|
|
|
image-rendering: crisp-edges
|
|
|
|
image-rendering: pixelated
|
|
|
|
|
|
|
|
.logocont
|
|
|
|
display: flex
|
|
|
|
align-items: center
|
|
|
|
font-style: italic
|
|
|
|
color: white
|
|
|
|
font-size: 1.25em
|
2020-06-20 16:23:59 +00:00
|
|
|
|
2023-11-19 21:06:25 +00:00
|
|
|
a, img, picture
|
2020-06-20 16:23:59 +00:00
|
|
|
margin-right: 0.5em
|
|
|
|
|
2023-08-31 12:00:53 +00:00
|
|
|
@for $i from 1 through 6
|
2020-07-01 19:29:42 +00:00
|
|
|
a:nth-child(#{$i + 1})
|
2023-08-31 12:00:53 +00:00
|
|
|
color: hsl(120 + ($i * 30), 100%, 80%)
|
2020-06-20 16:23:59 +00:00
|
|
|
|
|
|
|
h1, h2, h3, h4, h5, h6
|
|
|
|
margin: 0
|
2023-08-31 12:00:53 +00:00
|
|
|
font-weight: 600
|
|
|
|
a
|
2024-02-25 21:30:23 +00:00
|
|
|
color: inherit
|
|
|
|
text-decoration: none !important
|
|
|
|
|
|
|
|
summary h1, summary h2
|
|
|
|
display: inline
|
2020-06-20 16:23:59 +00:00
|
|
|
|
|
|
|
// for easier viewing on big screen devices, narrow the width of text
|
2021-07-10 12:09:00 +00:00
|
|
|
// also make links a bit more distinct
|
2024-01-02 02:23:11 +00:00
|
|
|
main
|
|
|
|
max-width: 100%
|
|
|
|
width: $content-width
|
2020-07-01 19:29:42 +00:00
|
|
|
text-align: justify
|
2024-01-02 02:23:11 +00:00
|
|
|
margin-left: $content-margin
|
|
|
|
margin-right: $content-margin
|
|
|
|
&.fullwidth
|
2024-01-02 16:41:27 +00:00
|
|
|
width: calc($content-width + $sidenotes-width + -0.5 * $content-margin)
|
2024-01-02 15:07:05 +00:00
|
|
|
margin-left: auto
|
|
|
|
margin-right: auto
|
2024-01-02 16:41:27 +00:00
|
|
|
padding-left: $content-margin
|
|
|
|
padding-right: $content-margin
|
2020-06-20 16:23:59 +00:00
|
|
|
|
2023-11-19 21:06:25 +00:00
|
|
|
.blog, .experiments, .atl, .microblog
|
2024-01-02 16:41:27 +00:00
|
|
|
margin-left: -1rem
|
|
|
|
margin-right: -1rem
|
2021-04-12 13:15:44 +00:00
|
|
|
margin-bottom: 0
|
|
|
|
display: flex
|
|
|
|
flex-wrap: wrap
|
|
|
|
> div
|
|
|
|
min-width: 20em
|
|
|
|
background: #eee
|
2023-08-31 12:00:53 +00:00
|
|
|
padding: 1em
|
2021-04-12 13:15:44 +00:00
|
|
|
flex: 1 1 20%
|
|
|
|
|
2023-11-19 21:06:25 +00:00
|
|
|
.microblog > div
|
|
|
|
flex: 1 1 30%
|
|
|
|
|
2020-06-20 16:23:59 +00:00
|
|
|
ul
|
|
|
|
list-style-type: square
|
|
|
|
padding-left: 1em
|
|
|
|
|
|
|
|
.isso
|
|
|
|
padding: 1em
|
2022-11-23 16:58:50 +00:00
|
|
|
overflow-x: clip
|
|
|
|
|
|
|
|
button, select, input, textarea, .textarea
|
|
|
|
border-radius: 0 !important
|
|
|
|
border: 1px solid gray
|
|
|
|
box-shadow: none !important
|
2020-06-20 16:23:59 +00:00
|
|
|
|
|
|
|
.achievements
|
|
|
|
position: fixed
|
|
|
|
bottom: 0
|
|
|
|
left: 0
|
|
|
|
.achievement
|
|
|
|
cursor: pointer
|
|
|
|
|
|
|
|
.achievement
|
|
|
|
border: 1px solid black
|
|
|
|
margin: 0.5em
|
|
|
|
padding: 0.5em
|
|
|
|
max-width: 40em
|
|
|
|
|
|
|
|
.title
|
|
|
|
font-weight: 500
|
|
|
|
.conditions
|
|
|
|
font-style: italic
|
|
|
|
|
|
|
|
.smallinfo
|
|
|
|
font-size: 0.8em
|
|
|
|
margin-top: 0.5em
|
2020-08-25 21:52:23 +00:00
|
|
|
margin-bottom: 0.5em
|
|
|
|
|
|
|
|
.ring
|
|
|
|
.art
|
|
|
|
flex-direction: column
|
2021-04-12 13:15:44 +00:00
|
|
|
flex: 1 1 25%
|
2020-08-25 21:52:23 +00:00
|
|
|
.sum
|
|
|
|
font-size: 0.8rem
|
|
|
|
flex: 1 1 0
|
|
|
|
.atr
|
|
|
|
text-align: right
|
|
|
|
font-size: 0.8rem
|
|
|
|
color: #555
|
2022-11-23 16:58:50 +00:00
|
|
|
|
|
|
|
.imbox
|
|
|
|
display: flex
|
2023-11-19 21:06:25 +00:00
|
|
|
img, picture
|
2023-05-23 16:33:57 +00:00
|
|
|
padding-right: 1em
|
|
|
|
height: 8em
|
|
|
|
width: 8em
|
2023-08-31 12:00:53 +00:00
|
|
|
|
|
|
|
.title
|
|
|
|
font-size: 1.1em
|
|
|
|
font-weight: 600
|
|
|
|
|
|
|
|
.caption
|
2024-02-25 21:30:23 +00:00
|
|
|
width: calc(100% - 3em)
|
2023-08-31 12:00:53 +00:00
|
|
|
background: lightgray
|
|
|
|
border: 1px solid black
|
|
|
|
padding: 1em
|
2024-02-25 21:30:23 +00:00
|
|
|
margin: 0.5em
|
2023-11-19 21:06:25 +00:00
|
|
|
img, picture
|
|
|
|
width: 100%
|
|
|
|
|
|
|
|
blockquote
|
|
|
|
padding-left: 0.4rem
|
|
|
|
border-left: 0.4rem solid black
|
|
|
|
margin-left: 0.2rem
|
|
|
|
|
2024-02-25 21:30:23 +00:00
|
|
|
.wider
|
|
|
|
width: calc(100vw - 2 * $content-margin)
|
|
|
|
max-width: 80em
|
|
|
|
min-width: 40em
|
|
|
|
> *
|
|
|
|
min-width: 40em
|
|
|
|
position: relative
|
|
|
|
z-index: 1
|
|
|
|
|
2023-11-19 21:06:25 +00:00
|
|
|
.microblog p
|
|
|
|
margin: 0
|
|
|
|
|
|
|
|
.sidenotes-container
|
|
|
|
display: flex
|
|
|
|
flex-wrap: wrap
|
|
|
|
.sidenotes
|
|
|
|
width: $sidenotes-width
|
|
|
|
min-width: $sidenotes-width
|
|
|
|
padding-left: 1.5rem
|
|
|
|
position: relative
|
2024-02-25 21:30:23 +00:00
|
|
|
p
|
|
|
|
margin: 0
|
|
|
|
|
2023-11-19 21:06:25 +00:00
|
|
|
.footnotes-sep
|
|
|
|
display: none
|
|
|
|
.footnotes-list
|
|
|
|
text-align: justify
|
|
|
|
@media (max-width: calc(2 * $content-margin + $content-width + $sidenotes-width))
|
|
|
|
.sidenotes
|
|
|
|
min-width: auto
|
|
|
|
width: auto
|
|
|
|
max-width: $content-width
|
|
|
|
padding: 0
|
|
|
|
margin-left: $content-margin
|
|
|
|
margin-right: $content-margin
|
|
|
|
.footnotes-sep
|
2024-01-02 02:23:11 +00:00
|
|
|
display: block
|
|
|
|
|
|
|
|
@media (min-width: calc(2 * $content-margin + $content-width + $sidenotes-width + $navbar-width))
|
|
|
|
body
|
|
|
|
display: flex
|
|
|
|
.nav-container
|
|
|
|
flex-grow: 1
|
|
|
|
nav
|
|
|
|
display: block
|
|
|
|
> a, .logocont
|
|
|
|
display: block
|
|
|
|
margin-right: 0
|
|
|
|
width: $navbar-width
|
|
|
|
font-size: 1.5em
|
|
|
|
text-align: right
|
|
|
|
margin-bottom: 0
|
|
|
|
box-sizing: border-box
|
|
|
|
top: 0
|
|
|
|
position: sticky
|
|
|
|
margin-left: auto
|
2024-01-02 14:55:23 +00:00
|
|
|
overflow-x: auto
|
2024-01-02 02:23:11 +00:00
|
|
|
.sidenotes-container
|
2024-01-02 14:55:23 +00:00
|
|
|
flex-grow: 1
|
2024-01-02 15:07:05 +00:00
|
|
|
main.fullwidth
|
|
|
|
margin-left: $content-margin
|
|
|
|
margin-right: $content-margin
|
2024-01-02 14:55:23 +00:00
|
|
|
|
|
|
|
@media (prefers-color-scheme: dark)
|
|
|
|
body
|
|
|
|
background: black
|
|
|
|
color: white
|
|
|
|
|
|
|
|
nav
|
|
|
|
background: #333
|
|
|
|
|
|
|
|
.ring .art
|
|
|
|
background: #444
|
|
|
|
|
|
|
|
.achievement
|
|
|
|
color: black
|
|
|
|
|
|
|
|
a
|
|
|
|
color: lightblue
|
|
|
|
&:visited
|
2024-02-25 21:30:23 +00:00
|
|
|
color: #e17701
|
2024-01-02 14:55:23 +00:00
|
|
|
|
|
|
|
.caption
|
2024-01-02 16:30:31 +00:00
|
|
|
background: #333
|
|
|
|
|
|
|
|
:root
|
|
|
|
--autocol-lightness: 10%
|
|
|
|
--autocol-saturation: 50%
|
|
|
|
|
|
|
|
nav .logocont
|
2024-02-25 21:30:23 +00:00
|
|
|
color: white
|
|
|
|
|
|
|
|
.sidenotes img
|
|
|
|
width: 100%
|
|
|
|
max-width: 15em
|
|
|
|
display: block
|
|
|
|
|
|
|
|
.hoverdefn
|
|
|
|
text-decoration-style: dotted
|
|
|
|
text-decoration-line: underline
|
|
|
|
|
|
|
|
.section-header
|
|
|
|
margin-top: 0.5em
|
|
|
|
|
|
|
|
table
|
|
|
|
border-collapse: collapse
|
|
|
|
td, th
|
|
|
|
border: 1px solid gray
|
|
|
|
padding: 0.4em
|
|
|
|
th
|
|
|
|
white-space: nowrap
|