|
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423 |
- @import url("pygments.css");
- @import url("pygments-dark.css") (prefers-color-theme: dark);
-
- @font-face {
- font-family: 'Latin Modern';
- font-style: normal;
- font-weight: normal;
- font-display: swap;
- src: url('../fonts/LM-regular.woff2') format('woff2'),
- url('../fonts/LM-regular.woff') format('woff'),
- url('../fonts/LM-regular.ttf') format('truetype');
- }
-
- @font-face {
- font-family: 'Latin Modern';
- font-style: italic;
- font-weight: normal;
- font-display: swap;
- src: url('../fonts/LM-italic.woff2') format('woff2'),
- url('../fonts/LM-italic.woff') format('woff'),
- url('../fonts/LM-italic.ttf') format('truetype');
- }
-
- @font-face {
- font-family: 'Latin Modern';
- font-style: normal;
- font-weight: bold;
- font-display: swap;
- src: url('../fonts/LM-bold.woff2') format('woff2'),
- url('../fonts/LM-bold.woff') format('woff'),
- url('../fonts/LM-bold.ttf') format('truetype');
- }
-
- @font-face {
- font-family: 'Latin Modern';
- font-style: italic;
- font-weight: bold;
- font-display: swap;
- src: url('../fonts/LM-bold-italic.woff2') format('woff2'),
- url('../fonts/LM-bold-italic.woff') format('woff'),
- url('../fonts/LM-bold-italic.ttf') format('truetype');
- }
-
- :root {
- --main-bg-color: hsl(210, 20%, 98%);
- --main-text-color: hsl(0, 5%, 10%);
- --main-link-color: hsl(0, 100%, 35%);
- --table-border-color: hsl(0, 0%, 85%);
- --table-head-border-color: hsl(0, 0%, 70%);
- }
-
- @media (prefers-color-scheme: dark) {
- :root {
- --main-bg-color: hsl(0, 5%, 10%);
- --main-text-color: hsl(210, 20%, 98%);
- --main-link-color: hsl(0, 100%, 65%);
- --table-border-color: hsl(0, 0%, 15%);
- --table-head-border-color: hsl(0, 0%, 30%);
- }
- }
-
- *, *::before, *::after {
- box-sizing: border-box;
- }
-
- body, h1, h2, h3, h4, p, ul[class], ol[class], li, figure, figcaption, dl, dd {
- margin: 0;
- }
-
- html, body {
- height: 98%;
- max-width: 1280px;
- margin: auto;
- }
-
- html {
- font-size: 1rem;
- scroll-behavior: smooth;
- }
-
- body {
- display: flex;
- flex-flow: column nowrap;
- font-family: 'Latin Modern', Georgia, Cambria, 'Times New Roman', Times, serif;
- line-height: 1.8;
- min-height: 100vh;
- overflow-x: hidden;
- margin: 0 auto;
- padding: 2rem 1.25rem;
- color: var(--main-text-color);
- background-color: var(--main-bg-color);
- text-rendering: optimizeLegibility;
- }
-
- p {
- text-align: justify;
- hyphens: auto;
- margin-top: 1rem;
- }
-
- a:not([class]) {
- text-decoration-skip-ink: auto;
- }
-
- a, a:visited {
- color: var(--main-link-color);
- }
-
- a:focus {
- outline-offset: 2px;
- outline: 2px solid hsl(220, 90%, 52%);
- }
-
-
- h1 {
- font-size: 2.5rem;
- line-height: 3.25rem;
- margin-bottom: 1.625rem;
- }
- h2 {
- font-size: 1.7rem;
- line-height: 2rem;
- margin-top: 3rem;
- }
- h3 {
- font-size: 1.4rem;
- margin-top: 2.5rem;
- }
- h4 {
- font-size: 1.2rem;
- margin-top: 2rem;
- }
- h5 {
- font-size: 1rem;
- margin-top: 1.8rem;
- }
- h6 {
- font-size: 1rem;
- font-style: italic;
- font-weight: normal;
- margin-top: 2.5rem;
- }
-
- h3, h4, h5, h6 {
- line-height: 1.625rem;
- }
-
- h1 + h2 {
- margin-top: 1.625rem;
- }
-
- h2 + h3, h3 + h4, h4 + h5 {
- margin-top: 0.8rem;
- }
-
- h5 + h6 {
- margin-top: -0.8rem;
- }
-
- h2, h3, h4, h5, h6 {
- margin-bottom: 0.8rem;
- }
-
- ul, ol {
- padding: 0;
- }
-
- #banner, #contentinfo {
- width: 100%;
- text-align: center;
- }
-
- #contentinfo {
- flex-shrink: 0;
- margin-top: 40px
- }
-
-
- #container {
- flex: 1 0 auto;
- display: flex;
- align-items: stretch;
- max-width: 100%;
- }
-
- @media only screen and (max-width: 1024px) {
- #container {
- flex-flow: row wrap;
- }
- }
-
- #menu {
- min-width: 300px;
- }
-
- .menuitems {
- list-style: none;
- }
-
- #content {
- flex: 1 1 auto;
- }
-
- #post-list li {
- list-style: none;
- }
-
- .entry-title {
- text-align: center;
- }
- div.post-info {
- text-align: center;
- }
-
- .author a {
- margin: 0.85rem 0;
- font-variant-caps: small-caps;
- text-align: center;
- }
-
- footer.post-info {
- display: flex;
- flex-flow: row wrap;
- justify-content: space-between;
- padding: 1rem;
- }
-
- /*
- * Links
- */
-
- .entry-content {
- counter-reset: entrylinks 0 figures 0 tables 0 listings 0;
- }
-
- .entry-content a {
- counter-increment: entrylinks;
- text-decoration: none;
- color: inherit;
- outline: none;
- cursor: default;
- pointer-events: none;
- }
- .entry-content a:after {
- content: '[' counter(entrylinks) ']';
- margin-left: 2px;
- color: var(--main-link-color);
- cursor: pointer;
- pointer-events: auto;
- }
-
- /*
- * Lists
- */
-
- .entry-content ol,
- .entry-content ul {
- padding-left: 40px;
- }
-
- .entry-content li>ol,
- .entry-content li>ul {
- padding-left: 20px;
- }
-
- /*
- * Images
- */
-
- .entry-content img {
- counter-increment: figures;
- display: block;
- max-width: 80%;
- margin: 0 auto 0 auto;
- padding: 1rem;
- }
-
- .entry-content img~em{
- display: block;
- margin: 0 auto 0 auto;
- text-align: center;
- font-style: normal;
- }
- .entry-content img~em:before {
- content: 'Figure ' counter(figures) ': ';
- font-weight: bold;
- }
-
- /*
- * Tables
- */
-
- .entry-content table:not([class="highlighttable"]) {
- counter-increment: tables;
- max-width: 80%;
- margin: 0 auto 0 auto;
- padding: 1rem;
- border-collapse: collapse;
- border-spacing: 0;
- }
-
- .entry-content table~p > em{
- display: block;
- margin: 0 auto 0 auto;
- text-align: center;
- font-style: normal;
- }
-
- .entry-content table~p > em:before {
- content: 'Table ' counter(tables) ': ';
- font-weight: bold;
- }
-
- .entry-content th, td {
- padding: 0.5rem;
- }
-
- .entry-content td {
- border-bottom: 1px solid var(--table-border-color);
- }
-
- .entry-content th:not([align]), td:not([align]) {
- text-align: left;
- }
-
- .entry-content th:empty,
- .entry-content td:empty {
- border-left: 1px solid var(--table-border-color);
- width: 0;
- padding: 0;
- }
-
- .entry-content th:empty~th:empty,
- .entry-content td:empty~td:empty {
- border-left: 1px double var(--table-border-color);
- }
-
-
- .entry-content thead th {
- border-bottom: 2px solid var(--table-head-border-color);
- }
-
- .entry-content tfoot th {
- border-top: 2px solid var(--table-head-border-color);
- }
-
- /*
- * Code
- */
-
- .entry-content table.highlighttable,
- .entry-content div.highlight {
- width: 100%;
- max-width: 100%;
- }
-
- .entry-content div.highlight {
- counter-increment: listings;
- }
-
- .entry-content table.highlighttable~p > em,
- .entry-content div.highlight~p > em {
- display: block;
- margin: 0 auto 0 auto;
- text-align: center;
- font-style: normal;
- }
- .entry-content table.highlighttable~p > em:before,
- .entry-content div.highlight~p > em:before {
- content: 'Listing ' counter(listings) ': ';
- font-weight: bold;
- }
-
- .entry-content td.linenos,
- .entry-content td.code {
- border-bottom: none;
- }
-
- .entry-content code, pre {
- font-family: Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New', monospace;
- font-size: 85%;
- }
-
- .entry-content pre {
- max-width: 100%;
- overflow: auto;
- border-radius: 4px;
- }
- .entry-content pre code {
- font-size: 95%;
- position: relative;
- }
-
- .linenos {
- width: 3em;
- }
-
- /* This is old stuff, inherited from LaTeX.css, probably unused */
-
- /* Nested ordered list for ToC */
- .toc ol {
- counter-reset: item;
- padding-left: 2rem;
- }
- .toc li {
- display: block;
- }
- .toc li:before {
- content: counters(item, '.') ' ';
- counter-increment: item;
- padding-right: 0.85rem;
- }
-
- /* Make footnote text smaller and left align it (looks bad with long URLs) */
- .footnotes p {
- text-align: left;
- line-height: 1.5;
- font-size: 85%;
- margin-bottom: 0.4rem;
- }
- .footnotes {
- border-top: 1px solid hsl(0, 0%, 39%);
- }
|