@import url('https://fonts.googleapis.com/css?family=PT+Serif:400,400i,700,700i&display=swap&subset=latin-ext'); * { box-sizing: border-box; } body { line-height: 150%; margin-bottom: 100px; font-family: 'PT Serif', serif; font-size: 20px; } a { color: #000; font-style: italic; text-decoration: underline; text-decoration-style: dotted; text-decoration-color: #bbb; } main { max-width: 800px; padding: 20px 30px; margin: 0 auto; } nav { margin-bottom: 50px; } nav a { display: inline-block; margin-right: 20px; } header { margin-block-end: 40px; } p { line-height: 1.5; } p a { text-decoration-color: #333; } blockquote { position: relative; margin-block-start: 30px; margin-block-end: 30px; margin-right: 0; } blockquote:before { content: ' '; background-image: url('/static/alert.svg'); background-size: 30px 30px; height: 30px; width: 30px; position: absolute; left: -40px; top: 6px; } blockquote p { padding-left: 10px; } h1 { font-size: 260%; line-height: initial; } h2 { font-size: 180%; line-height: initial; } h3 { font-size: 140%; line-height: initial; } img, video { max-width: 100%; margin: 30px auto; display: block; } ul li { list-style-type: square; } ul.article-list { margin-block-end: 60px; } ul.article-list li { margin-bottom: 35px; } ul.article-list time { display: block; font-size: 85%; } ul.article-list li a { font-size: 120%; } ul.project-list li { margin-bottom: 5px; } article .info { font-style: oblique; } table { width: 100%; } table, th, td { border: 1px solid black; text-align: left; } th, td { padding: 5px 10px; } pre { overflow: auto; } code, pre { font-size: 16px; } code { background: rgb(255, 241, 177); padding: 2px 5px; } pre > code { background: unset; padding: unset; } p.modified { font-style: oblique; font-size: 90%; margin-top: 50px; } ::selection { background: #ff0; color: #000; } ::-moz-selection { background: #ff0; color: #000; } @media only screen and (max-width:480px) { body { font-size: 18px; } main { padding: 20px; } nav { text-align: center; margin-bottom: initial; } nav a { margin-bottom: 10px; } ul { padding-left: 20px; } ul.article-list li { margin-bottom: 20px; } ul.article-list li div { display: block; margin-top: 15px; } ul.article-list a { display: block; margin-top: 5px; } h1 { font-size: 220%; } h2 { font-size: 180%; } h3 { font-size: 160%; } code, pre { font-size: 14px; } } @media (prefers-color-scheme: light) { body { background-color: white; color: black; } } @media (prefers-color-scheme: dark) { body { background-color: rgb(30, 30, 30); color: white; } a { color: white; } }