html { font-size: 1vhmax; background-color: #E5E5E5 } #content { padding-top: 1em } #header { float: right; margin-left: 1em; margin-bottom: 1em } #tagsoup { margin-left: 2.2em; margin-right: 2.2em } @font-face { font-family: Vollkorn; font-style: normal; font-weight: bold; src: local('Vollkorn Bold'), local('Vollkorn-Bold'), url('fonts/Vollkorn-Bold.ttf') format('truetype') } @font-face { font-family: Vollkorn; font-style: normal; font-weight: normal; src: local('Vollkorn Regular'), local('Vollkorn-Regular'), url('fonts/Vollkorn-Regular.ttf') format('truetype') } @font-face { font-family: Vollkorn; font-style: italic; font-weight: normal; src: local('Vollkorn Italic'), local('Vollkorn-Italic'), url('fonts/Vollkorn-Italic.ttf') format('truetype') } @font-face { font-family: Vollkorn; font-style: italic; font-weight: bold; src: local('Vollkorn BoldItalic'), local('Vollkorn-BoldItalic'), url('fonts/Vollkorn-BoldItalic.ttf') format('truetype') } @font-face { font-family: Inconsolata; font-style: normal; font-weight: normal; src: local('Inconsolata'), url('fonts/Inconsolata.otf') format('truetype') } a { text-decoration: none; color: #992900 } a.anchor { color: black } h1 { font-size: 1.7em } .date { font-style: italic } .title { margin-left: 1em } .email { font-style: italic; text-align: right } .article-meta { margin-left: 2.2em; margin-right: 2.2em } .archive-title { font-size: 1em } .article-title { font-size: 2em } .article-date { font-style: italic; font-size: 0.8em; margin-bottom: 0.5em } .fineprint { text-align: center; margin-top: .5em } .tag-low { font-size: .8em; font-weight: 200 } .tag-medium { font-size: 1.2em; font-weight: 600 } .tag-high { font-size: 1.7em; font-weight: 800 } .portrait { margin: 1em; width: 10vw } body { font-family: Vollkorn; text-align: justify; margin-left: 10vw; margin-right: 10vw } .navigation { font-size: 0.8em; text-align: right } .footer-links { font-size: 0.7vmax } .highlight .symbol, .highlight .default, .highlight .comment { background-color: #E0E0E0; font-weight: normal; color: black } .highlight i { font-style: normal } .highlight i .symbol { font-weight: bold; color: #992900 } .highlight .paren1, .highlight .paren2, .highlight .paren3, .highlight .paren4, .highlight .paren5, .highlight .paren6 { background-color: inherit } .highlight .paren1:hover, .highlight .paren2:hover, .highlight .paren3:hover, .highlight .paren4:hover, .highlight .paren5:hover, .highlight .paren6:hover { color: white } .highlight .string { font-style: italic; font-weight: lighter; color: #992900 } .highlight .paren1:hover { background-color: #DB7859 } .highlight .paren2:hover { background-color: #1B804C } .highlight .paren3:hover { background-color: #9F214E } .highlight .paren4:hover { background-color: #DBA059 } .highlight .paren5:hover { background-color: #B64926 } .highlight .paren6:hover { background-color: #64A422 } .highlight .comment { color: #992900 } pre { overflow: auto; margin-left: 1em; padding: 0.5em; padding: .75em .5em; background: #E0E0E0; font-family: Inconsolata } tt { font-family: Inconsolata }