From 998b63a35256ac985a5a2714dd1ca451af4dfd8a Mon Sep 17 00:00:00 2001 From: Fuwn Date: Wed, 9 Oct 2024 00:41:20 -0700 Subject: chore(prettier): use spaces instead of tabs --- static/manifest.json | 190 +++++------ static/styles/LaTeX.css | 642 +++++++++++++++++------------------ static/styles/risotto/about.css | 14 +- static/styles/risotto/colours.css | 26 +- static/styles/risotto/footer.css | 4 +- static/styles/risotto/header.css | 16 +- static/styles/risotto/layout.css | 58 ++-- static/styles/risotto/logo.css | 32 +- static/styles/risotto/risotto.css | 4 +- static/styles/risotto/typography.css | 138 ++++---- 10 files changed, 562 insertions(+), 562 deletions(-) (limited to 'static') diff --git a/static/manifest.json b/static/manifest.json index 8ed54e7d..22055d22 100644 --- a/static/manifest.json +++ b/static/manifest.json @@ -1,97 +1,97 @@ { - "short_name": "due.moe", - "name": "due.moe", - "start_url": "/", - "orientation": "any", - "icons": [ - { - "src": "https://due.moe/favicon-196x196.png", - "type": "image/png", - "sizes": "196x196", - "purpose": "maskable any" - }, - { - "src": "https://due.moe/favicon-128.png", - "type": "image/png", - "sizes": "128x128", - "purpose": "maskable any" - }, - { - "src": "https://due.moe/favicon-96x96.png", - "type": "image/png", - "sizes": "96x96", - "purpose": "maskable any" - }, - { - "src": "https://due.moe/favicon-32x32.png", - "type": "image/png", - "sizes": "32x32", - "purpose": "maskable any" - }, - { - "src": "https://due.moe/favicon-16x16.png", - "type": "image/png", - "sizes": "16x16", - "purpose": "maskable any" - } - ], - "background_color": "#060506", - "display": "standalone", - "scope": "/", - "theme_color": "#060506", - "description": "Instantly view which anime & manga on your lists have new episodes/chapters!", - "shortcuts": [ - { - "name": "Due Media", - "short_name": "Due", - "url": "/?source=pwa", - "icons": [ - { - "src": "https://due.moe/favicon-196x196.png", - "type": "image/png", - "sizes": "196x196", - "purpose": "maskable any" - } - ] - }, - { - "name": "Completed Media", - "short_name": "Completed", - "url": "/completed?source=pwa", - "icons": [ - { - "src": "https://due.moe/favicon-196x196.png", - "type": "image/png", - "sizes": "196x196", - "purpose": "maskable any" - } - ] - }, - { - "name": "Subtitle Schedule", - "short_name": "Schedule", - "url": "/schedule?source=pwa", - "icons": [ - { - "src": "https://due.moe/favicon-196x196.png", - "type": "image/png", - "sizes": "196x196", - "purpose": "maskable any" - } - ] - }, - { - "name": "hololive Schedule", - "short_name": "hololive", - "url": "/hololive?source=pwa", - "icons": [ - { - "src": "https://due.moe/favicon-196x196.png", - "type": "image/png", - "sizes": "196x196", - "purpose": "maskable any" - } - ] - } - ] + "short_name": "due.moe", + "name": "due.moe", + "start_url": "/", + "orientation": "any", + "icons": [ + { + "src": "https://due.moe/favicon-196x196.png", + "type": "image/png", + "sizes": "196x196", + "purpose": "maskable any" + }, + { + "src": "https://due.moe/favicon-128.png", + "type": "image/png", + "sizes": "128x128", + "purpose": "maskable any" + }, + { + "src": "https://due.moe/favicon-96x96.png", + "type": "image/png", + "sizes": "96x96", + "purpose": "maskable any" + }, + { + "src": "https://due.moe/favicon-32x32.png", + "type": "image/png", + "sizes": "32x32", + "purpose": "maskable any" + }, + { + "src": "https://due.moe/favicon-16x16.png", + "type": "image/png", + "sizes": "16x16", + "purpose": "maskable any" + } + ], + "background_color": "#060506", + "display": "standalone", + "scope": "/", + "theme_color": "#060506", + "description": "Instantly view which anime & manga on your lists have new episodes/chapters!", + "shortcuts": [ + { + "name": "Due Media", + "short_name": "Due", + "url": "/?source=pwa", + "icons": [ + { + "src": "https://due.moe/favicon-196x196.png", + "type": "image/png", + "sizes": "196x196", + "purpose": "maskable any" + } + ] + }, + { + "name": "Completed Media", + "short_name": "Completed", + "url": "/completed?source=pwa", + "icons": [ + { + "src": "https://due.moe/favicon-196x196.png", + "type": "image/png", + "sizes": "196x196", + "purpose": "maskable any" + } + ] + }, + { + "name": "Subtitle Schedule", + "short_name": "Schedule", + "url": "/schedule?source=pwa", + "icons": [ + { + "src": "https://due.moe/favicon-196x196.png", + "type": "image/png", + "sizes": "196x196", + "purpose": "maskable any" + } + ] + }, + { + "name": "hololive Schedule", + "short_name": "hololive", + "url": "/hololive?source=pwa", + "icons": [ + { + "src": "https://due.moe/favicon-196x196.png", + "type": "image/png", + "sizes": "196x196", + "purpose": "maskable any" + } + ] + } + ] } diff --git a/static/styles/LaTeX.css b/static/styles/LaTeX.css index b58df428..7fff3c5c 100644 --- a/static/styles/LaTeX.css +++ b/static/styles/LaTeX.css @@ -6,111 +6,111 @@ */ @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-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-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-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'); + 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'); } @font-face { - font-family: 'Libertinus'; - font-style: normal; - font-weight: normal; - font-display: swap; - src: url('./fonts/Libertinus-regular.woff2') format('woff2'); + font-family: 'Libertinus'; + font-style: normal; + font-weight: normal; + font-display: swap; + src: url('./fonts/Libertinus-regular.woff2') format('woff2'); } @font-face { - font-family: 'Libertinus'; - font-style: italic; - font-weight: normal; - font-display: swap; - src: url('./fonts/Libertinus-italic.woff2') format('woff2'); + font-family: 'Libertinus'; + font-style: italic; + font-weight: normal; + font-display: swap; + src: url('./fonts/Libertinus-italic.woff2') format('woff2'); } @font-face { - font-family: 'Libertinus'; - font-style: normal; - font-weight: bold; - font-display: swap; - src: url('./fonts/Libertinus-bold.woff2') format('woff2'); + font-family: 'Libertinus'; + font-style: normal; + font-weight: bold; + font-display: swap; + src: url('./fonts/Libertinus-bold.woff2') format('woff2'); } @font-face { - font-family: 'Libertinus'; - font-style: italic; - font-weight: bold; - font-display: swap; - src: url('./fonts/Libertinus-bold-italic.woff2') format('woff2'); + font-family: 'Libertinus'; + font-style: italic; + font-weight: bold; + font-display: swap; + src: url('./fonts/Libertinus-bold-italic.woff2') format('woff2'); } @font-face { - font-family: 'Libertinus'; - font-style: normal; - font-weight: 600; - font-display: swap; - src: url('./fonts/Libertinus-semibold.woff2') format('woff2'); + font-family: 'Libertinus'; + font-style: normal; + font-weight: 600; + font-display: swap; + src: url('./fonts/Libertinus-semibold.woff2') format('woff2'); } @font-face { - font-family: 'Libertinus'; - font-style: italic; - font-weight: 600; - font-display: swap; - src: url('./fonts/Libertinus-semibold-italic.woff2') format('woff2'); + font-family: 'Libertinus'; + font-style: italic; + font-weight: 600; + font-display: swap; + src: url('./fonts/Libertinus-semibold-italic.woff2') format('woff2'); } /* Box sizing rules */ *, *::before, *::after { - box-sizing: border-box; + box-sizing: border-box; } :root { - --body-color: hsl(0, 5%, 10%); - --body-bg-color: hsl(210, 20%, 98%); - --link-visited: hsl(0, 100%, 33%); - --link-focus-outline: hsl(220, 90%, 52%); - --pre-bg-color: hsl(210, 28%, 93%); - --kbd-bg-color: hsl(210, 5%, 100%); - --kbd-border-color: hsl(210, 5%, 70%); - --table-border-color: black; - --border-width-thin: 1.36px; - --border-width-thick: 2.27px; - --sidenote-target-border-color: hsl(55, 55%, 70%); - --footnotes-border-color: hsl(0, 0%, 39%); - --text-indent-size: 1.463rem; /* In 12pt [Latin Modern font] LaTeX article + --body-color: hsl(0, 5%, 10%); + --body-bg-color: hsl(210, 20%, 98%); + --link-visited: hsl(0, 100%, 33%); + --link-focus-outline: hsl(220, 90%, 52%); + --pre-bg-color: hsl(210, 28%, 93%); + --kbd-bg-color: hsl(210, 5%, 100%); + --kbd-border-color: hsl(210, 5%, 70%); + --table-border-color: black; + --border-width-thin: 1.36px; + --border-width-thick: 2.27px; + --sidenote-target-border-color: hsl(55, 55%, 70%); + --footnotes-border-color: hsl(0, 0%, 39%); + --text-indent-size: 1.463rem; /* In 12pt [Latin Modern font] LaTeX article \parindent =~ 17.625pt; taking also into account the ratio 1pt[LaTeX] = (72 / 72.27) * 1pt[HTML], with default 12pt/1rem LaTeX.css font size, the identation value in rem CSS units is: @@ -118,33 +118,33 @@ } .latex-dark { - --body-color: hsl(0, 0%, 86%); - --body-bg-color: hsl(0, 0%, 16%); - --link-visited: hsl(196 80% 77%); - --link-focus-outline: hsl(215, 63%, 73%); - --pre-bg-color: hsl(0, 1%, 25%); - --kbd-bg-color: hsl(0, 0%, 16%); - --kbd-border-color: hsl(210, 5%, 70%); - --table-border-color: white; - --sidenote-target-border-color: hsl(0, 0%, 59%); - --footnotes-border-color: hsl(0, 0%, 59%); - --proof-symbol-filter: invert(80%); + --body-color: hsl(0, 0%, 86%); + --body-bg-color: hsl(0, 0%, 16%); + --link-visited: hsl(196 80% 77%); + --link-focus-outline: hsl(215, 63%, 73%); + --pre-bg-color: hsl(0, 1%, 25%); + --kbd-bg-color: hsl(0, 0%, 16%); + --kbd-border-color: hsl(210, 5%, 70%); + --table-border-color: white; + --sidenote-target-border-color: hsl(0, 0%, 59%); + --footnotes-border-color: hsl(0, 0%, 59%); + --proof-symbol-filter: invert(80%); } @media (prefers-color-scheme: dark) { - .latex-dark-auto { - --body-color: hsl(0, 0%, 86%); - --body-bg-color: hsl(0, 0%, 16%); - --link-visited: hsl(196 80% 77%); - --link-focus-outline: hsl(215, 63%, 73%); - --pre-bg-color: hsl(0, 1%, 25%); - --kbd-bg-color: hsl(0, 0%, 16%); - --kbd-border-color: hsl(210, 5%, 70%); - --table-border-color: white; - --sidenote-target-border-color: hsl(0, 0%, 59%); - --footnotes-border-color: hsl(0, 0%, 59%); - --proof-symbol-filter: invert(80%); - } + .latex-dark-auto { + --body-color: hsl(0, 0%, 86%); + --body-bg-color: hsl(0, 0%, 16%); + --link-visited: hsl(196 80% 77%); + --link-focus-outline: hsl(215, 63%, 73%); + --pre-bg-color: hsl(0, 1%, 25%); + --kbd-bg-color: hsl(0, 0%, 16%); + --kbd-border-color: hsl(210, 5%, 70%); + --table-border-color: white; + --sidenote-target-border-color: hsl(0, 0%, 59%); + --footnotes-border-color: hsl(0, 0%, 59%); + --proof-symbol-filter: invert(80%); + } } /* Remove default margin */ @@ -161,92 +161,92 @@ figure, figcaption, dl, dd { - margin: 0; + margin: 0; } /* Make default font-size 1rem and add smooth scrolling to anchors */ html { - font-size: 1rem; + font-size: 1rem; } @media (prefers-reduced-motion: no-preference) { - html { - scroll-behavior: smooth; - } + html { + scroll-behavior: smooth; + } } body.libertinus { - font-family: 'Libertinus', Georgia, Cambria, 'Times New Roman', Times, serif; + font-family: 'Libertinus', Georgia, Cambria, 'Times New Roman', Times, serif; } body { - font-family: 'Latin Modern', Georgia, Cambria, 'Times New Roman', Times, serif; - line-height: 1.8; + font-family: 'Latin Modern', Georgia, Cambria, 'Times New Roman', Times, serif; + line-height: 1.8; - max-width: 80ch; - min-height: 100vh; - overflow-x: hidden; - margin: 0 auto; - padding: 2rem 1.25rem; + max-width: 80ch; + min-height: 100vh; + overflow-x: hidden; + margin: 0 auto; + padding: 2rem 1.25rem; - counter-reset: theorem definition sidenote-counter; + counter-reset: theorem definition sidenote-counter; - color: var(--body-color); - background-color: var(--body-bg-color); + color: var(--body-color); + background-color: var(--body-bg-color); - text-rendering: optimizeLegibility; + text-rendering: optimizeLegibility; } /* Justify and hyphenate all paragraphs */ p { - text-align: justify; - hyphens: auto; - -webkit-hyphens: auto; - -moz-hyphens: auto; - margin-top: 1rem; + text-align: justify; + hyphens: auto; + -webkit-hyphens: auto; + -moz-hyphens: auto; + margin-top: 1rem; } /* Indents paragraphs like in LaTeX documents*/ .indent-pars p { - text-indent: var(--text-indent-size); + text-indent: var(--text-indent-size); } .indent-pars p.no-indent, p.no-indent { - text-indent: 0; + text-indent: 0; } .indent-pars ol p, .indent-pars ul p { - text-indent: 0; + text-indent: 0; } .indent-pars h2 + p, .indent-pars h3 + p, .indent-pars h4 + p { - text-indent: 0; + text-indent: 0; } /* A elements that don't have a class get default styles */ a:not([class]) { - text-decoration-skip-ink: auto; + text-decoration-skip-ink: auto; } /* Make links red */ a, a:visited { - color: var(--link-visited); + color: var(--link-visited); } a:focus { - outline-offset: 2px; - outline: 2px solid var(--link-focus-outline); + outline-offset: 2px; + outline: 2px solid var(--link-focus-outline); } /* Make images easier to work with */ img { - max-width: 100%; - height: auto; - display: block; + max-width: 100%; + height: auto; + display: block; } /* Inherit fonts for inputs and buttons */ @@ -254,141 +254,141 @@ input, button, textarea, select { - font: inherit; + font: inherit; } /* Prevent textarea from overflowing */ textarea { - width: 100%; + width: 100%; } /* Natural flow and rhythm in articles by default */ article > * + * { - margin-top: 1em; + margin-top: 1em; } /* Styles for inline code or code snippets */ code, pre, kbd { - font-family: Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New', monospace; - font-size: 85%; + font-family: Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New', monospace; + font-size: 85%; } pre { - padding: 1rem 1.4rem; - max-width: 100%; - overflow: auto; - border-radius: 4px; - background: var(--pre-bg-color); + padding: 1rem 1.4rem; + max-width: 100%; + overflow: auto; + border-radius: 4px; + background: var(--pre-bg-color); } pre code { - font-size: 95%; - position: relative; + font-size: 95%; + position: relative; } kbd { - background: var(--kbd-bg-color); - border: 1px solid var(--kbd-border-color); - border-radius: 2px; - padding: 2px 4px; - font-size: 75%; + background: var(--kbd-bg-color); + border: 1px solid var(--kbd-border-color); + border-radius: 2px; + padding: 2px 4px; + font-size: 75%; } /* Better tables */ table:not(.borders-custom) { - border-collapse: collapse; - border-spacing: 0; - width: auto; - max-width: 100%; - border-top: var(--border-width-thick) solid var(--table-border-color); - border-bottom: var(--border-width-thick) solid var(--table-border-color); - /* display: block; */ - overflow-x: auto; /* does not work because element is not block */ - /* white-space: nowrap; */ - counter-increment: caption; + border-collapse: collapse; + border-spacing: 0; + width: auto; + max-width: 100%; + border-top: var(--border-width-thick) solid var(--table-border-color); + border-bottom: var(--border-width-thick) solid var(--table-border-color); + /* display: block; */ + overflow-x: auto; /* does not work because element is not block */ + /* white-space: nowrap; */ + counter-increment: caption; } /* add bottom border on column table headings */ table:not(.borders-custom) tr > th[scope='col'] { - border-bottom: var(--border-width-thin) solid var(--table-border-color); + border-bottom: var(--border-width-thin) solid var(--table-border-color); } /* add right border on row table headings */ table:not(.borders-custom) tr > th[scope='row'] { - border-right: var(--border-width-thin) solid var(--table-border-color); + border-right: var(--border-width-thin) solid var(--table-border-color); } table:not(.borders-custom) > tbody > tr:first-child > td, table:not(.borders-custom) > tbody > tr:first-child > th { - border-top: var(--border-width-thin) solid var(--table-border-color); + border-top: var(--border-width-thin) solid var(--table-border-color); } table:not(.borders-custom) > tbody > tr:last-child > td, table:not(.borders-custom) > tbody > tr:last-child > th { - border-bottom: var(--border-width-thin) solid var(--table-border-color); + border-bottom: var(--border-width-thin) solid var(--table-border-color); } th, td { - text-align: left; - padding: 0.5rem; - line-height: 1.1; + text-align: left; + padding: 0.5rem; + line-height: 1.1; } /* Table caption */ caption { - text-align: left; - font-size: 0.923em; - /* border-bottom: 2pt solid #000; */ - padding: 0 0.25em 0.25em; - width: 100%; - margin-left: 0; + text-align: left; + font-size: 0.923em; + /* border-bottom: 2pt solid #000; */ + padding: 0 0.25em 0.25em; + width: 100%; + margin-left: 0; } caption::before { - content: 'Table ' counter(caption) '. '; - font-weight: bold; + content: 'Table ' counter(caption) '. '; + font-weight: bold; } /* allow scroll on the x-axis */ .scroll-wrapper { - overflow-x: auto; + overflow-x: auto; } /* if a table is wrapped in a scroll wrapper, the table cells shouldn't wrap */ .scroll-wrapper > table td { - white-space: nowrap; + white-space: nowrap; } /* Table custom borders */ table.borders-custom { - border-collapse: collapse; - border-spacing: 0; - width: auto; - max-width: 100%; - overflow-x: auto; - counter-increment: caption; + border-collapse: collapse; + border-spacing: 0; + width: auto; + max-width: 100%; + overflow-x: auto; + counter-increment: caption; } .border-top-thick { - border-top: var(--border-width-thick) solid var(--table-border-color); + border-top: var(--border-width-thick) solid var(--table-border-color); } .border-right-thick { - border-right: var(--border-width-thick) solid var(--table-border-color); + border-right: var(--border-width-thick) solid var(--table-border-color); } .border-bottom-thick { - border-bottom: var(--border-width-thick) solid var(--table-border-color); + border-bottom: var(--border-width-thick) solid var(--table-border-color); } .border-left-thick { - border-left: var(--border-width-thick) solid var(--table-border-color); + border-left: var(--border-width-thick) solid var(--table-border-color); } .border-top-thin { - border-top: var(--border-width-thin) solid var(--table-border-color); + border-top: var(--border-width-thin) solid var(--table-border-color); } .border-right-thin { - border-right: var(--border-width-thin) solid var(--table-border-color); + border-right: var(--border-width-thin) solid var(--table-border-color); } .border-bottom-thin { - border-bottom: var(--border-width-thin) solid var(--table-border-color); + border-bottom: var(--border-width-thin) solid var(--table-border-color); } .border-left-thin { - border-left: var(--border-width-thin) solid var(--table-border-color); + border-left: var(--border-width-thin) solid var(--table-border-color); } /* Table column alignment */ @@ -404,7 +404,7 @@ table.borders-custom { .col-10-l tr > :nth-child(10), .col-11-l tr > :nth-child(11), .col-12-l tr > :nth-child(12) { - text-align: left; + text-align: left; } .col-1-c tr > :nth-child(1), .col-2-c tr > :nth-child(2), @@ -418,7 +418,7 @@ table.borders-custom { .col-10-c tr > :nth-child(10), .col-11-c tr > :nth-child(11), .col-12-c tr > :nth-child(12) { - text-align: center; + text-align: center; } .col-1-r tr > :nth-child(1), .col-2-r tr > :nth-child(2), @@ -432,288 +432,288 @@ table.borders-custom { .col-10-r tr > :nth-child(10), .col-11-r tr > :nth-child(11), .col-12-r tr > :nth-child(12) { - text-align: right; + text-align: right; } /* Center align the title */ h1:first-child { - text-align: center; + text-align: center; } /* Nested ordered list for ToC */ nav ol { - counter-reset: item; - padding-left: 2rem; + counter-reset: item; + padding-left: 2rem; } nav li { - display: block; + display: block; } nav li:before { - content: counters(item, '.') ' '; - counter-increment: item; - padding-right: 0.85rem; + content: counters(item, '.') ' '; + counter-increment: item; + padding-right: 0.85rem; } /* Center definitions (most useful for display equations) */ dl dd { - text-align: center; + text-align: center; } /* Theorem */ .theorem { - counter-increment: theorem; - display: block; - margin: 12px 0; - font-style: italic; + counter-increment: theorem; + display: block; + margin: 12px 0; + font-style: italic; } .theorem::before { - content: 'Theorem ' counter(theorem) '. '; - font-weight: bold; - font-style: normal; + content: 'Theorem ' counter(theorem) '. '; + font-weight: bold; + font-style: normal; } /* Lemma */ .lemma { - counter-increment: theorem; - display: block; - margin: 12px 0; - font-style: italic; + counter-increment: theorem; + display: block; + margin: 12px 0; + font-style: italic; } .lemma::before { - content: 'Lemma ' counter(theorem) '. '; - font-weight: bold; - font-style: normal; + content: 'Lemma ' counter(theorem) '. '; + font-weight: bold; + font-style: normal; } /* Proof */ .proof { - display: block; - margin: 12px 0; - font-style: normal; - position: relative; + display: block; + margin: 12px 0; + font-style: normal; + position: relative; } .proof::before { - content: 'Proof. ' attr(title); - font-style: italic; + content: 'Proof. ' attr(title); + font-style: italic; } .proof:after { - content: '◾️'; - filter: var(--proof-symbol-filter); - position: absolute; - right: -12px; - bottom: -2px; + content: '◾️'; + filter: var(--proof-symbol-filter); + position: absolute; + right: -12px; + bottom: -2px; } /* Definition */ .definition { - counter-increment: definition; - display: block; - margin: 12px 0; - font-style: normal; + counter-increment: definition; + display: block; + margin: 12px 0; + font-style: normal; } .definition::before { - content: 'Definition ' counter(definition) '. '; - font-weight: bold; - font-style: normal; + content: 'Definition ' counter(definition) '. '; + font-weight: bold; + font-style: normal; } /* Center align author name, use small caps and add vertical spacing */ .author { - margin: 0.85rem 0; - font-variant-caps: small-caps; - text-align: center; + margin: 0.85rem 0; + font-variant-caps: small-caps; + text-align: center; } /* Sidenotes */ .sidenote { - font-size: 0.8rem; - float: right; - clear: right; - width: 18vw; - margin-right: -20vw; - margin-bottom: 1em; - text-indent: 0; + font-size: 0.8rem; + float: right; + clear: right; + width: 18vw; + margin-right: -20vw; + margin-bottom: 1em; + text-indent: 0; } .sidenote.left { - float: left; - margin-left: -20vw; - margin-bottom: 1em; - text-indent: 0; + float: left; + margin-left: -20vw; + margin-bottom: 1em; + text-indent: 0; } /* (WIP) add border when a sidenote is clicked on */ .sidenote:target { - border: var(--sidenote-target-border-color) 1.5px solid; - padding: 0 0.5rem; - scroll-margin-block-start: 10rem; + border: var(--sidenote-target-border-color) 1.5px solid; + padding: 0 0.5rem; + scroll-margin-block-start: 10rem; } /* sidenote counter */ .sidenote-number { - counter-increment: sidenote-counter; + counter-increment: sidenote-counter; } .sidenote-number::after, .sidenote::before { - position: relative; - vertical-align: baseline; + position: relative; + vertical-align: baseline; } /* add number in main content */ .sidenote-number::after { - content: counter(sidenote-counter); - font-size: 0.7rem; - top: -0.5rem; - left: 0.1rem; + content: counter(sidenote-counter); + font-size: 0.7rem; + top: -0.5rem; + left: 0.1rem; } /* add number in front of the sidenote */ .sidenote-number ~ .sidenote::before { - content: counter(sidenote-counter) ' '; - font-size: 0.7rem; - top: -0.5rem; + content: counter(sidenote-counter) ' '; + font-size: 0.7rem; + top: -0.5rem; } label.sidenote-toggle:not(.sidenote-number) { - display: none; + display: none; } /* sidenotes inside blockquotes are indented more */ blockquote .sidenote { - margin-right: -24vw; - width: 18vw; + margin-right: -24vw; + width: 18vw; } label.sidenote-toggle { - display: inline; - cursor: pointer; + display: inline; + cursor: pointer; } input.sidenote-toggle { - display: none; + display: none; } @media (max-width: 1050px) { - label.sidenote-toggle:not(.sidenote-number) { - display: inline; - } - .sidenote { - display: none; - } - .sidenote-toggle:checked + .sidenote { - display: block; - margin: 0.5rem 1.25rem 1rem 0.5rem; - float: left; - left: 1rem; - clear: both; - width: 95%; - } - /* tweak indentation of sidenote inside a blockquote */ - blockquote .sidenote { - margin-right: -25vw; - width: 16vw; - } + label.sidenote-toggle:not(.sidenote-number) { + display: inline; + } + .sidenote { + display: none; + } + .sidenote-toggle:checked + .sidenote { + display: block; + margin: 0.5rem 1.25rem 1rem 0.5rem; + float: left; + left: 1rem; + clear: both; + width: 95%; + } + /* tweak indentation of sidenote inside a blockquote */ + blockquote .sidenote { + margin-right: -25vw; + width: 16vw; + } } /* 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; + text-align: left; + line-height: 1.5; + font-size: 85%; + margin-bottom: 0.4rem; } .footnotes { - border-top: 1px solid var(--footnotes-border-color); + border-top: 1px solid var(--footnotes-border-color); } /* Center title and paragraph */ .abstract, .abstract p { - text-align: center; - margin-top: 0; + text-align: center; + margin-top: 0; } .abstract { - margin: 2.25rem 0; + margin: 2.25rem 0; } .abstract > h2 { - font-size: 1rem; - margin-bottom: -0.2rem; + font-size: 1rem; + margin-bottom: -0.2rem; } /* Format the LaTeX symbol correctly (a higher up, e lower) */ .latex span:nth-child(1) { - text-transform: uppercase; - font-size: 0.75em; - vertical-align: 0.28em; - margin-left: -0.48em; - margin-right: -0.15em; - line-height: 1ex; + text-transform: uppercase; + font-size: 0.75em; + vertical-align: 0.28em; + margin-left: -0.48em; + margin-right: -0.15em; + line-height: 1ex; } .latex span:nth-child(2) { - text-transform: uppercase; - vertical-align: -0.5ex; - margin-left: -0.1667em; - margin-right: -0.125em; - line-height: 1ex; + text-transform: uppercase; + vertical-align: -0.5ex; + margin-left: -0.1667em; + margin-right: -0.125em; + line-height: 1ex; } /* Heading typography */ h1 { - font-size: 2.5rem; - line-height: 3.25rem; - margin-bottom: 1.625rem; + font-size: 2.5rem; + line-height: 3.25rem; + margin-bottom: 1.625rem; } h2 { - font-size: 1.7rem; - line-height: 2rem; - margin-top: 3rem; + font-size: 1.7rem; + line-height: 2rem; + margin-top: 3rem; } h3 { - font-size: 1.4rem; - margin-top: 2.5rem; + font-size: 1.4rem; + margin-top: 2.5rem; } h4 { - font-size: 1.2rem; - margin-top: 2rem; + font-size: 1.2rem; + margin-top: 2rem; } h5 { - font-size: 1rem; - margin-top: 1.8rem; + font-size: 1rem; + margin-top: 1.8rem; } h6 { - font-size: 1rem; - font-style: italic; - font-weight: normal; - margin-top: 2.5rem; + font-size: 1rem; + font-style: italic; + font-weight: normal; + margin-top: 2.5rem; } h3, h4, h5, h6 { - line-height: 1.625rem; + line-height: 1.625rem; } h1 + h2 { - margin-top: 1.625rem; + margin-top: 1.625rem; } h2 + h3, h3 + h4, h4 + h5 { - margin-top: 0.8rem; + margin-top: 0.8rem; } h5 + h6 { - margin-top: -0.8rem; + margin-top: -0.8rem; } h2, @@ -721,5 +721,5 @@ h3, h4, h5, h6 { - margin-bottom: 0.8rem; + margin-bottom: 0.8rem; } diff --git a/static/styles/risotto/about.css b/static/styles/risotto/about.css index f93c940d..4c86d76d 100644 --- a/static/styles/risotto/about.css +++ b/static/styles/risotto/about.css @@ -1,26 +1,26 @@ /* About/bio section */ .about__logo { - height: 1.5rem; + height: 1.5rem; } .about__title { - display: inline; - vertical-align: top; + display: inline; + vertical-align: top; } .about__title::before { - content: none; + content: none; } /* Social media links */ .aside__social-links { - padding: 0; + padding: 0; } .aside__social-links li { - display: inline-block; + display: inline-block; } .aside__social-links li::marker { - content: none; + content: none; } diff --git a/static/styles/risotto/colours.css b/static/styles/risotto/colours.css index 43269856..4f8e4208 100644 --- a/static/styles/risotto/colours.css +++ b/static/styles/risotto/colours.css @@ -1,17 +1,17 @@ :root { - /* Background */ - --bg: var(--base00); - --off-bg: var(--base01); - --inner-bg: var(--base02); + /* Background */ + --bg: var(--base00); + --off-bg: var(--base01); + --inner-bg: var(--base02); - /* Text */ - --fg: var(--base05); - --off-fg: var(--base04); - --muted: var(--base03); - --link: var(--base0D); - --hover: var(--base0C); - --highlight: var(--base0A); + /* Text */ + --fg: var(--base05); + --off-fg: var(--base04); + --muted: var(--base03); + --link: var(--base0D); + --hover: var(--base0C); + --highlight: var(--base0A); - /* Logo */ - --logo: var(--base0B); + /* Logo */ + --logo: var(--base0B); } diff --git a/static/styles/risotto/footer.css b/static/styles/risotto/footer.css index a0438f34..afd0b24b 100644 --- a/static/styles/risotto/footer.css +++ b/static/styles/risotto/footer.css @@ -1,7 +1,7 @@ .page__footer { - color: var(--off-fg); + color: var(--off-fg); } .page__footer p { - margin: 0; + margin: 0; } diff --git a/static/styles/risotto/header.css b/static/styles/risotto/header.css index 24f1a0e7..3a2e86de 100644 --- a/static/styles/risotto/header.css +++ b/static/styles/risotto/header.css @@ -1,17 +1,17 @@ /* Main menu */ .main-nav ul { - display: flex; - flex-flow: row wrap; - justify-content: flex-start; - margin: 0; - padding: 0.25rem 0; + display: flex; + flex-flow: row wrap; + justify-content: flex-start; + margin: 0; + padding: 0.25rem 0; } .main-nav li { - margin-left: 2.5rem; - text-transform: lowercase; + margin-left: 2.5rem; + text-transform: lowercase; } .main-nav li::marker { - content: './'; + content: './'; } diff --git a/static/styles/risotto/layout.css b/static/styles/risotto/layout.css index d7dbe23f..f26b4cc9 100644 --- a/static/styles/risotto/layout.css +++ b/static/styles/risotto/layout.css @@ -1,57 +1,57 @@ /* 1rem = 16px by default */ .page { - max-width: 64rem; - margin: 1rem auto; - display: grid; - grid-template-areas: - 'header' - 'body' - 'aside' - 'footer'; - grid-template-columns: minmax(0, 1fr); /* https://css-tricks.com/preventing-a-grid-blowout/ */ - grid-row-gap: 2rem; + max-width: 64rem; + margin: 1rem auto; + display: grid; + grid-template-areas: + 'header' + 'body' + 'aside' + 'footer'; + grid-template-columns: minmax(0, 1fr); /* https://css-tricks.com/preventing-a-grid-blowout/ */ + grid-row-gap: 2rem; } @media (min-width: 45rem) { - .page { - grid-template-areas: - 'header header' - 'body aside' - 'footer footer'; - grid-template-columns: minmax(0, 1fr) 15rem; - grid-column-gap: 2rem; - } + .page { + grid-template-areas: + 'header header' + 'body aside' + 'footer footer'; + grid-template-columns: minmax(0, 1fr) 15rem; + grid-column-gap: 2rem; + } } /* Header */ .page__header { - grid-area: header; - display: flex; + grid-area: header; + display: flex; } .page__logo { - flex-shrink: 0; + flex-shrink: 0; } .page__nav { - flex-grow: 1; + flex-grow: 1; } /* Body + aside */ .page__body { - grid-area: body; - background-color: var(--off-bg); - box-shadow: 0 0 0 1rem var(--off-bg); - overflow-wrap: break-word; + grid-area: body; + background-color: var(--off-bg); + box-shadow: 0 0 0 1rem var(--off-bg); + overflow-wrap: break-word; } .page__aside { - grid-area: aside; - color: var(--off-fg); + grid-area: aside; + color: var(--off-fg); } /* Footer */ .page__footer { - grid-area: footer; + grid-area: footer; } diff --git a/static/styles/risotto/logo.css b/static/styles/risotto/logo.css index 82dc568e..2be8ab09 100644 --- a/static/styles/risotto/logo.css +++ b/static/styles/risotto/logo.css @@ -1,38 +1,38 @@ .page__logo { - padding: 0; - margin: 0; - font-weight: inherit; - color: var(--bg); + padding: 0; + margin: 0; + font-weight: inherit; + color: var(--bg); } .page__logo:before { - content: none; + content: none; } .page__logo-inner { - display: block; - background: var(--logo); - opacity: 0.9; - padding: 0.25rem; + display: block; + background: var(--logo); + opacity: 0.9; + padding: 0.25rem; } a.page__logo-inner:link, a.page__logo-inner:visited { - color: inherit; - text-decoration: inherit; + color: inherit; + text-decoration: inherit; } a.page__logo-inner:hover, a.page__logo-inner:active { - opacity: 1; + opacity: 1; } .page__logo-inner:before { - content: '['; - color: var(--bg); + content: '['; + color: var(--bg); } .page__logo-inner:after { - content: '] $'; - color: var(--bg); + content: '] $'; + color: var(--bg); } diff --git a/static/styles/risotto/risotto.css b/static/styles/risotto/risotto.css index 8fc0568c..9c5a3132 100644 --- a/static/styles/risotto/risotto.css +++ b/static/styles/risotto/risotto.css @@ -7,6 +7,6 @@ @import 'footer.css'; body { - background-color: var(--bg); - color: var(--fg); + background-color: var(--bg); + color: var(--fg); } diff --git a/static/styles/risotto/typography.css b/static/styles/risotto/typography.css index 7f0d1d99..6dc1c581 100644 --- a/static/styles/risotto/typography.css +++ b/static/styles/risotto/typography.css @@ -1,12 +1,12 @@ /* Fonts */ :root { - --font-monospace: 'Fira Mono', monospace; + --font-monospace: 'Fira Mono', monospace; } body { - font-family: var(--font-monospace); - font-size: 16px; - line-height: 1.5rem; + font-family: var(--font-monospace); + font-size: 16px; + line-height: 1.5rem; } /* Headings */ @@ -16,9 +16,9 @@ h3, h4, h5, h6 { - font-size: 12px; - margin: 1.5rem 0 0 0; - font-weight: 600; + font-size: 12px; + margin: 1.5rem 0 0 0; + font-weight: 600; } h1 + h2, @@ -36,26 +36,26 @@ h3 + h6, h4 + h5, h4 + h6, h5 + h6 { - margin: 0; + margin: 0; } h1:before { - content: '# '; + content: '# '; } h2:before { - content: '## '; + content: '## '; } h3:before { - content: '### '; + content: '### '; } h4:before { - content: '#### '; + content: '#### '; } h5:before { - content: '##### '; + content: '##### '; } h6:before { - content: '###### '; + content: '###### '; } h1:before, @@ -64,93 +64,93 @@ h3:before, h4:before, h5:before, h6:before { - color: var(--muted); + color: var(--muted); } h1:first-child { - margin-top: 0; + margin-top: 0; } /* Paragraphs */ p { - margin: 0 0 1.5rem 0; + margin: 0 0 1.5rem 0; } /* Links */ a:link, a:visited { - color: var(--link); + color: var(--link); } a:hover, a:active, a.active { - color: var(--hover); + color: var(--hover); } /* Lists */ ul { - margin: 0 0 1.5rem 0; - padding-left: 1.25rem; + margin: 0 0 1.5rem 0; + padding-left: 1.25rem; } ol { - margin: 0 0 1.5rem 0; - padding-left: 1.75rem; + margin: 0 0 1.5rem 0; + padding-left: 1.75rem; } ul ul, ul ol, ol ul, ol ol { - margin: 0; + margin: 0; } ul li::marker { - content: '∗\00A0'; - color: var(--muted); + content: '∗\00A0'; + color: var(--muted); } ol li::marker { - color: var(--muted); + color: var(--muted); } dt { - margin: 0; - font-weight: bold; + margin: 0; + font-weight: bold; } dd { - margin: 0 0 0 1.5rem; - font-style: italic; + margin: 0 0 0 1.5rem; + font-style: italic; } dd + dt { - margin-top: 1.5rem; + margin-top: 1.5rem; } dl { - margin: 0 0 1.5rem 0; + margin: 0 0 1.5rem 0; } /* Blockquotes */ blockquote { - position: relative; - margin: 0 0 1.5rem 1.5rem; + position: relative; + margin: 0 0 1.5rem 1.5rem; } blockquote::before { - position: absolute; - left: -1.5rem; - content: '>'; - color: var(--muted); + position: absolute; + left: -1.5rem; + content: '>'; + color: var(--muted); } .twitter-tweet::before { - content: '\f099'; - font-family: 'Font Awesome 5 Brands'; - font-weight: 400; + content: '\f099'; + font-family: 'Font Awesome 5 Brands'; + font-weight: 400; } /* Code */ @@ -158,74 +158,74 @@ pre, code, kbd, samp { - background: var(--inner-bg) !important; - font-family: var(--font-monospace); - color: var(--off-fg); + background: var(--inner-bg) !important; + font-family: var(--font-monospace); + color: var(--off-fg); } pre { - overflow-x: auto; - padding: 1.5rem; - margin: 0 0 1.5rem 0; + overflow-x: auto; + padding: 1.5rem; + margin: 0 0 1.5rem 0; } /* Emphasis */ b, strong { - font-weight: 600; + font-weight: 600; } /* Highlighting */ ::selection, mark { - background-color: var(--highlight); - color: var(--bg); + background-color: var(--highlight); + color: var(--bg); } /* Other typographic elements */ hr { - border: 0; - margin-bottom: 1.5rem; + border: 0; + margin-bottom: 1.5rem; } hr:after { - content: '---'; - color: var(--muted); + content: '---'; + color: var(--muted); } /* Prevent super/sub from affecting line height */ sup, sub { - vertical-align: baseline; - position: relative; - top: -0.25rem; - font-size: unset; + vertical-align: baseline; + position: relative; + top: -0.25rem; + font-size: unset; } sub { - top: 0.25rem; + top: 0.25rem; } /* Tables */ table { - border-spacing: 0; - margin: 0 0 1.5rem 0; - overflow-wrap: anywhere; + border-spacing: 0; + margin: 0 0 1.5rem 0; + overflow-wrap: anywhere; } th, td { - padding: 0 0.75rem; - vertical-align: top; + padding: 0 0.75rem; + vertical-align: top; } th:first-child, td:first-child { - padding-left: 0; + padding-left: 0; } th { - text-align: inherit; + text-align: inherit; } /* Figures */ img { - max-width: 100%; - height: auto; + max-width: 100%; + height: auto; } -- cgit v1.2.3