diff --git a/engine/optim-classes.sh b/engine/optim-classes.sh index 110e81a..9f78d68 100755 --- a/engine/optim-classes.sh +++ b/engine/optim-classes.sh @@ -12,7 +12,7 @@ retrieve_classes_in_html () { retrieve_classes_in_css () { cat $webdir/**/*.css(N) | \ - perl -pe 's/\.([a-zA-Z-_][a-zA-Z0-9-_]*)/\nCLASS: $1\n/g' + perl -pe 's/ \.([a-zA-Z-_][a-zA-Z0-9-_]*)/\nCLASS:$1\n/g' } classes=( $( {retrieve_classes_in_html; retrieve_classes_in_css}| \ diff --git a/project.el b/project.el index b34466e..dd3efc8 100644 --- a/project.el +++ b/project.el @@ -10,7 +10,7 @@ (defvar draft-publish-assets-dir (concat draft-publish-dir "/")) (defvar posts-dir (concat base-dir "/posts")) (defvar rss-title "Subscribe to articles") -(defvar css-path "/css/mk.css") +(defvar css-path "/css/y.css") (defvar author-name "Yann Esposito") (defvar author-email "yann@esposito.host") @@ -92,13 +92,14 @@ (format "

%s

" subtitle)) (when-let ((date (plist-get info :date))) (concat - "
" - "Published " + "
" + "Yann Esposito" + "
" (format "%s" (format-time-string "%Y-%m-%d" (org-timestamp-to-time (car date)))) - " on " + "
on " (format " Yann Esposito's blog" websiteorigin) (let ((permalink (gen-permalink (plist-get info :output-file)))) (concat @@ -109,7 +110,7 @@ (format " §permalink" permalink))) "
")) (when-let ((description (plist-get info :description))) - (format "
%s
" description)) + (format "
%s
" description)) "
")) (defun rand-obfs (c) diff --git a/project.el.sig b/project.el.sig index db80e7e..b282d0a 100644 Binary files a/project.el.sig and b/project.el.sig differ diff --git a/src/css/colors.css b/src/css/colors.css new file mode 100644 index 0000000..2d3edf5 --- /dev/null +++ b/src/css/colors.css @@ -0,0 +1,139 @@ +/* COLORS */ + +/* colortheme switch */ +body>input { display: none; } +#labels > .content { margin: 0 auto; text-align: center; } +label { font-weight: 700; } +label:hover { cursor: pointer; } +#logo { text-align: center; } +body { margin:0; padding: 0; border: 0; max-width: none;} +#content,.content,#preamble,#postamble { + max-width: 80ch; + overflow: hidden; + margin: 0 auto; +} +figure img { width: 100%; } +.footdef > sup { vertical-align: top; font-size: medium; } +.footdef > sup > a { padding: 0.5em; } +.footpara { display: inline; } +footer { margin: 3em 0; padding: 1em 0; border-top: solid 1px; border-bottom: solid 1px; line-height: 1em; } +#postamble td { border-bottom: none; } +nav { text-align: center; padding: 2em 0; } + + +:root { + --b03: #2E3440; + --b02: #3B4252; + /* not used because light mode is has more contrast + --b01: #656b74; + */ + --b00: #727781; + --b0: #989ea8; + --b1: #b0bac7; + --b2: #ECEFF4; + --b3: #fff; + --y: #c18600; + --o: #d84100; + --r: #e62729; + --m: #ec0085; + --v: #6c71c4; + --b: #0095ff; + --c: #00b0a3; + --g: #879a00; + + /* default light */ + --bg: var(--b3); + --rbg: var(--b2); + --fg0: var(--b0); + --fg: var(--b02); + --rfg: #000; + --hl: var(--o); +} + +/* light checked */ +input#l:checked ~ div { + --bg: var(--b3); + --rbg: var(--b2); + --fg0: var(--b0); + --fg: var(--b02); + --rfg: #000; + --hl: var(--o); +} +input#l:checked ~ div img { + filter: none; +} + +/* dark checked */ +input#d:checked ~ div { + --bg: hsl(210,20%,2%); + --rbg: var(--b03); + --fg: var(--b1); + --fg0: var(--b00); + --rfg: var(--b2); + --hl: var(--y); +} +input#d:checked ~ div img { + filter: brightness(0.5) saturate(0.5); +} + +/* dark preferred */ +@media (prefers-color-scheme: dark) +{ + :root { + --bg: black; + --rbg: var(--b03); + --fg: var(--b1); + --fg0: var(--b00); + --rfg: var(--b2); + --hl: var(--y); + } + img { filter: brightness(0.5) saturate(0.5); } +} +body, body > div { + background: var(--bg); + color: var(--fg); +} +a,a:visited { color: var(--hl); } + +/* ---- SYNTAX HIGHLIGHTING ---- */ +.org-rainbow-delimiters-depth-1, .org-rainbow-delimiters-depth-9, +.org-css-selector, .org-nix-attribute, .org-builtin, +.IN_REVIEW { + color:var(--c); +} + +.org-rainbow-delimiters-depth-2, .org-nix-builtin, .org-variable-name, +.org-haskell-definition, .org-haskell-operator, .org-function-name, .org-diff-changed { + color:var(--b); +} + +.org-rainbow-delimiters-depth-3, .HOLD, .WAITING { + color:var(--v); +} + +.org-rainbow-delimiters-depth-4, .org-diff-hunk-header, .org-sh-quoted-exec, +.CANCELED { + color:var(--m); +} +.org-rainbow-delimiters-depth-5, .org-diff-removed, .TODO { + color:var(--r); +} +.org-rainbow-delimiters-depth-6, .org-haskell-constructor { + color:var(--o); +} +.org-rainbow-delimiters-depth-7, .org-type, .org-constant, .org-diff-header, +.org-haskell-keyword, .org-haskell-type, .IN_PROGRESS { + color:var(--y); +} +.org-rainbow-delimiters-depth-8, .org-sh-heredoc, .org-diff-added, .org-string, +.org-doc, .org-keyword, .DONE { + color:var(--g); +} + +.org-highlight-numbers-number, .org-highlight-number-number, +.org-diff-none, .org-preprocessor, .org-comment-delimiter, .org-comment, +.org-outshine-level-1, .org-outshine-level-2, .org-outshine-level-3, +.org-outshine-level-4, .org-outshine-level-5, .org-outshine-level-6, +.org-outshine-level-7, .org-outshine-level-8, .org-outshine-level-9 { + color:var(--fg0); +} diff --git a/src/css/fonts/LM-bold-italic.ttf b/src/css/fonts/LM-bold-italic.ttf new file mode 100644 index 0000000..7b684ee Binary files /dev/null and b/src/css/fonts/LM-bold-italic.ttf differ diff --git a/src/css/fonts/LM-bold-italic.woff b/src/css/fonts/LM-bold-italic.woff new file mode 100644 index 0000000..d54af37 Binary files /dev/null and b/src/css/fonts/LM-bold-italic.woff differ diff --git a/src/css/fonts/LM-bold-italic.woff2 b/src/css/fonts/LM-bold-italic.woff2 new file mode 100644 index 0000000..078ce29 Binary files /dev/null and b/src/css/fonts/LM-bold-italic.woff2 differ diff --git a/src/css/fonts/LM-bold.ttf b/src/css/fonts/LM-bold.ttf new file mode 100644 index 0000000..17624d4 Binary files /dev/null and b/src/css/fonts/LM-bold.ttf differ diff --git a/src/css/fonts/LM-bold.woff b/src/css/fonts/LM-bold.woff new file mode 100644 index 0000000..318a3ad Binary files /dev/null and b/src/css/fonts/LM-bold.woff differ diff --git a/src/css/fonts/LM-bold.woff2 b/src/css/fonts/LM-bold.woff2 new file mode 100644 index 0000000..c14c620 Binary files /dev/null and b/src/css/fonts/LM-bold.woff2 differ diff --git a/src/css/fonts/LM-italic.ttf b/src/css/fonts/LM-italic.ttf new file mode 100644 index 0000000..b9a57b8 Binary files /dev/null and b/src/css/fonts/LM-italic.ttf differ diff --git a/src/css/fonts/LM-italic.woff b/src/css/fonts/LM-italic.woff new file mode 100644 index 0000000..fafb147 Binary files /dev/null and b/src/css/fonts/LM-italic.woff differ diff --git a/src/css/fonts/LM-italic.woff2 b/src/css/fonts/LM-italic.woff2 new file mode 100644 index 0000000..166d6e6 Binary files /dev/null and b/src/css/fonts/LM-italic.woff2 differ diff --git a/src/css/fonts/LM-regular.ttf b/src/css/fonts/LM-regular.ttf new file mode 100644 index 0000000..6b4f6b8 Binary files /dev/null and b/src/css/fonts/LM-regular.ttf differ diff --git a/src/css/fonts/LM-regular.woff b/src/css/fonts/LM-regular.woff new file mode 100644 index 0000000..eb9fec0 Binary files /dev/null and b/src/css/fonts/LM-regular.woff differ diff --git a/src/css/fonts/LM-regular.woff2 b/src/css/fonts/LM-regular.woff2 new file mode 100644 index 0000000..869279a Binary files /dev/null and b/src/css/fonts/LM-regular.woff2 differ diff --git a/src/css/fonts/SIL Open Font License.txt b/src/css/fonts/SIL Open Font License.txt new file mode 100644 index 0000000..8ed8440 --- /dev/null +++ b/src/css/fonts/SIL Open Font License.txt @@ -0,0 +1,55 @@ +Copyright (C) Authors of original metafont fonts: +Donald Ervin Knuth (cm, concrete fonts) +1995, 1996, 1997 J"org Knappen, 1990, 1992 Norbert Schwarz (ec fonts) +1992-2006 A.Khodulev, O.Lapko, A.Berdnikov, V.Volovich (lh fonts) +1997-2005 Claudio Beccari (cb greek fonts) +2002 FUKUI Rei (tipa fonts) +2003-2005 Han The Thanh (Vietnamese fonts) +1996-2005 Walter Schmidt (cmbright fonts) + +Copyright (C) 2003-2009, Andrey V. Panov (panov@canopus.iacp.dvo.ru), +with Reserved Font Family Name "Computer Modern Unicode fonts". + + + +This Font Software is licensed under the SIL Open Font License, Version 1.1. +This license is copied below, and is also available with a FAQ at: http://scripts.sil.org/OFL + +----------------------------------------------------------- +SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007 +----------------------------------------------------------- + +PREAMBLE +The goals of the Open Font License (OFL) are to stimulate worldwide development of collaborative font projects, to support the font creation efforts of academic and linguistic communities, and to provide a free and open framework in which fonts may be shared and improved in partnership with others. + +The OFL allows the licensed fonts to be used, studied, modified and redistributed freely as long as they are not sold by themselves. The fonts, including any derivative works, can be bundled, embedded, redistributed and/or sold with any software provided that any reserved names are not used by derivative works. The fonts and derivatives, however, cannot be released under any other type of license. The requirement for fonts to remain under this license does not apply to any document created using the fonts or their derivatives. + +DEFINITIONS +"Font Software" refers to the set of files released by the Copyright Holder(s) under this license and clearly marked as such. This may include source files, build scripts and documentation. + +"Reserved Font Name" refers to any names specified as such after the copyright statement(s). + +"Original Version" refers to the collection of Font Software components as distributed by the Copyright Holder(s). + +"Modified Version" refers to any derivative made by adding to, deleting, or substituting -- in part or in whole -- any of the components of the Original Version, by changing formats or by porting the Font Software to a new environment. + +"Author" refers to any designer, engineer, programmer, technical writer or other person who contributed to the Font Software. + +PERMISSION & CONDITIONS +Permission is hereby granted, free of charge, to any person obtaining a copy of the Font Software, to use, study, copy, merge, embed, modify, redistribute, and sell modified and unmodified copies of the Font Software, subject to the following conditions: + +1) Neither the Font Software nor any of its individual components, in Original or Modified Versions, may be sold by itself. + +2) Original or Modified Versions of the Font Software may be bundled, redistributed and/or sold with any software, provided that each copy contains the above copyright notice and this license. These can be included either as stand-alone text files, human-readable headers or in the appropriate machine-readable metadata fields within text or binary files as long as those fields can be easily viewed by the user. + +3) No Modified Version of the Font Software may use the Reserved Font Name(s) unless explicit written permission is granted by the corresponding Copyright Holder. This restriction only applies to the primary font name as presented to the users. + +4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font Software shall not be used to promote, endorse or advertise any Modified Version, except to acknowledge the contribution(s) of the Copyright Holder(s) and the Author(s) or with their explicit written permission. + +5) The Font Software, modified or unmodified, in part or in whole, must be distributed entirely under this license, and must not be distributed under any other license. The requirement for fonts to remain under this license does not apply to any document created using the Font Software. + +TERMINATION +This license becomes null and void if any of the above conditions are not met. + +DISCLAIMER +THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE. \ No newline at end of file diff --git a/src/css/fonts/cmunbi.ttf b/src/css/fonts/cmunbi.ttf new file mode 100644 index 0000000..20505cf Binary files /dev/null and b/src/css/fonts/cmunbi.ttf differ diff --git a/src/css/fonts/cmunbi.woff b/src/css/fonts/cmunbi.woff new file mode 100644 index 0000000..0808fa0 Binary files /dev/null and b/src/css/fonts/cmunbi.woff differ diff --git a/src/css/fonts/cmunbi.woff2 b/src/css/fonts/cmunbi.woff2 new file mode 100644 index 0000000..1e075f8 Binary files /dev/null and b/src/css/fonts/cmunbi.woff2 differ diff --git a/src/css/fonts/cmunbl.ttf b/src/css/fonts/cmunbl.ttf new file mode 100644 index 0000000..0651935 Binary files /dev/null and b/src/css/fonts/cmunbl.ttf differ diff --git a/src/css/fonts/cmunbl.woff b/src/css/fonts/cmunbl.woff new file mode 100644 index 0000000..143ce3e Binary files /dev/null and b/src/css/fonts/cmunbl.woff differ diff --git a/src/css/fonts/cmunbl.woff2 b/src/css/fonts/cmunbl.woff2 new file mode 100644 index 0000000..9602dae Binary files /dev/null and b/src/css/fonts/cmunbl.woff2 differ diff --git a/src/css/fonts/cmunbmo.ttf b/src/css/fonts/cmunbmo.ttf new file mode 100644 index 0000000..e8c1cbf Binary files /dev/null and b/src/css/fonts/cmunbmo.ttf differ diff --git a/src/css/fonts/cmunbmo.woff b/src/css/fonts/cmunbmo.woff new file mode 100644 index 0000000..d45fc86 Binary files /dev/null and b/src/css/fonts/cmunbmo.woff differ diff --git a/src/css/fonts/cmunbmo.woff2 b/src/css/fonts/cmunbmo.woff2 new file mode 100644 index 0000000..01771f1 Binary files /dev/null and b/src/css/fonts/cmunbmo.woff2 differ diff --git a/src/css/fonts/cmunbmr.ttf b/src/css/fonts/cmunbmr.ttf new file mode 100644 index 0000000..5ed1086 Binary files /dev/null and b/src/css/fonts/cmunbmr.ttf differ diff --git a/src/css/fonts/cmunbmr.woff b/src/css/fonts/cmunbmr.woff new file mode 100644 index 0000000..c2bc6d9 Binary files /dev/null and b/src/css/fonts/cmunbmr.woff differ diff --git a/src/css/fonts/cmunbmr.woff2 b/src/css/fonts/cmunbmr.woff2 new file mode 100644 index 0000000..df6d964 Binary files /dev/null and b/src/css/fonts/cmunbmr.woff2 differ diff --git a/src/css/fonts/cmunbso.ttf b/src/css/fonts/cmunbso.ttf new file mode 100644 index 0000000..90cf05d Binary files /dev/null and b/src/css/fonts/cmunbso.ttf differ diff --git a/src/css/fonts/cmunbso.woff b/src/css/fonts/cmunbso.woff new file mode 100644 index 0000000..b262101 Binary files /dev/null and b/src/css/fonts/cmunbso.woff differ diff --git a/src/css/fonts/cmunbso.woff2 b/src/css/fonts/cmunbso.woff2 new file mode 100644 index 0000000..c207cc2 Binary files /dev/null and b/src/css/fonts/cmunbso.woff2 differ diff --git a/src/css/fonts/cmunbsr.ttf b/src/css/fonts/cmunbsr.ttf new file mode 100644 index 0000000..dfc11f4 Binary files /dev/null and b/src/css/fonts/cmunbsr.ttf differ diff --git a/src/css/fonts/cmunbsr.woff b/src/css/fonts/cmunbsr.woff new file mode 100644 index 0000000..e8c78f9 Binary files /dev/null and b/src/css/fonts/cmunbsr.woff differ diff --git a/src/css/fonts/cmunbsr.woff2 b/src/css/fonts/cmunbsr.woff2 new file mode 100644 index 0000000..4638808 Binary files /dev/null and b/src/css/fonts/cmunbsr.woff2 differ diff --git a/src/css/fonts/cmunbtl.ttf b/src/css/fonts/cmunbtl.ttf new file mode 100644 index 0000000..77410c2 Binary files /dev/null and b/src/css/fonts/cmunbtl.ttf differ diff --git a/src/css/fonts/cmunbtl.woff b/src/css/fonts/cmunbtl.woff new file mode 100644 index 0000000..e73e564 Binary files /dev/null and b/src/css/fonts/cmunbtl.woff differ diff --git a/src/css/fonts/cmunbtl.woff2 b/src/css/fonts/cmunbtl.woff2 new file mode 100644 index 0000000..2701ea4 Binary files /dev/null and b/src/css/fonts/cmunbtl.woff2 differ diff --git a/src/css/fonts/cmunbto.ttf b/src/css/fonts/cmunbto.ttf new file mode 100644 index 0000000..a943044 Binary files /dev/null and b/src/css/fonts/cmunbto.ttf differ diff --git a/src/css/fonts/cmunbto.woff b/src/css/fonts/cmunbto.woff new file mode 100644 index 0000000..901d043 Binary files /dev/null and b/src/css/fonts/cmunbto.woff differ diff --git a/src/css/fonts/cmunbto.woff2 b/src/css/fonts/cmunbto.woff2 new file mode 100644 index 0000000..a15d707 Binary files /dev/null and b/src/css/fonts/cmunbto.woff2 differ diff --git a/src/css/fonts/cmunbx.ttf b/src/css/fonts/cmunbx.ttf new file mode 100644 index 0000000..9a42c0e Binary files /dev/null and b/src/css/fonts/cmunbx.ttf differ diff --git a/src/css/fonts/cmunbx.woff b/src/css/fonts/cmunbx.woff new file mode 100644 index 0000000..c19e4c7 Binary files /dev/null and b/src/css/fonts/cmunbx.woff differ diff --git a/src/css/fonts/cmunbx.woff2 b/src/css/fonts/cmunbx.woff2 new file mode 100644 index 0000000..85af188 Binary files /dev/null and b/src/css/fonts/cmunbx.woff2 differ diff --git a/src/css/fonts/cmunci.ttf b/src/css/fonts/cmunci.ttf new file mode 100644 index 0000000..4d41d1f Binary files /dev/null and b/src/css/fonts/cmunci.ttf differ diff --git a/src/css/fonts/cmunci.woff b/src/css/fonts/cmunci.woff new file mode 100644 index 0000000..7b55b8d Binary files /dev/null and b/src/css/fonts/cmunci.woff differ diff --git a/src/css/fonts/cmunci.woff2 b/src/css/fonts/cmunci.woff2 new file mode 100644 index 0000000..aa5b68f Binary files /dev/null and b/src/css/fonts/cmunci.woff2 differ diff --git a/src/css/fonts/cmunit.ttf b/src/css/fonts/cmunit.ttf new file mode 100644 index 0000000..2afa178 Binary files /dev/null and b/src/css/fonts/cmunit.ttf differ diff --git a/src/css/fonts/cmunit.woff b/src/css/fonts/cmunit.woff new file mode 100644 index 0000000..80f0fbe Binary files /dev/null and b/src/css/fonts/cmunit.woff differ diff --git a/src/css/fonts/cmunit.woff2 b/src/css/fonts/cmunit.woff2 new file mode 100644 index 0000000..dc5bd65 Binary files /dev/null and b/src/css/fonts/cmunit.woff2 differ diff --git a/src/css/fonts/cmunobi.ttf b/src/css/fonts/cmunobi.ttf new file mode 100644 index 0000000..18ef158 Binary files /dev/null and b/src/css/fonts/cmunobi.ttf differ diff --git a/src/css/fonts/cmunobi.woff b/src/css/fonts/cmunobi.woff new file mode 100644 index 0000000..dfc4600 Binary files /dev/null and b/src/css/fonts/cmunobi.woff differ diff --git a/src/css/fonts/cmunobi.woff2 b/src/css/fonts/cmunobi.woff2 new file mode 100644 index 0000000..413f771 Binary files /dev/null and b/src/css/fonts/cmunobi.woff2 differ diff --git a/src/css/fonts/cmunobx.ttf b/src/css/fonts/cmunobx.ttf new file mode 100644 index 0000000..d320eb7 Binary files /dev/null and b/src/css/fonts/cmunobx.ttf differ diff --git a/src/css/fonts/cmunobx.woff b/src/css/fonts/cmunobx.woff new file mode 100644 index 0000000..6dd14fc Binary files /dev/null and b/src/css/fonts/cmunobx.woff differ diff --git a/src/css/fonts/cmunobx.woff2 b/src/css/fonts/cmunobx.woff2 new file mode 100644 index 0000000..5113f4b Binary files /dev/null and b/src/css/fonts/cmunobx.woff2 differ diff --git a/src/css/fonts/cmunorm.ttf b/src/css/fonts/cmunorm.ttf new file mode 100644 index 0000000..72cfd42 Binary files /dev/null and b/src/css/fonts/cmunorm.ttf differ diff --git a/src/css/fonts/cmunorm.woff b/src/css/fonts/cmunorm.woff new file mode 100644 index 0000000..a200a73 Binary files /dev/null and b/src/css/fonts/cmunorm.woff differ diff --git a/src/css/fonts/cmunorm.woff2 b/src/css/fonts/cmunorm.woff2 new file mode 100644 index 0000000..9434289 Binary files /dev/null and b/src/css/fonts/cmunorm.woff2 differ diff --git a/src/css/fonts/cmunoti.ttf b/src/css/fonts/cmunoti.ttf new file mode 100644 index 0000000..826d145 Binary files /dev/null and b/src/css/fonts/cmunoti.ttf differ diff --git a/src/css/fonts/cmunoti.woff b/src/css/fonts/cmunoti.woff new file mode 100644 index 0000000..7d6d152 Binary files /dev/null and b/src/css/fonts/cmunoti.woff differ diff --git a/src/css/fonts/cmunoti.woff2 b/src/css/fonts/cmunoti.woff2 new file mode 100644 index 0000000..80fcf63 Binary files /dev/null and b/src/css/fonts/cmunoti.woff2 differ diff --git a/src/css/fonts/cmunrm.ttf b/src/css/fonts/cmunrm.ttf new file mode 100644 index 0000000..5e182b3 Binary files /dev/null and b/src/css/fonts/cmunrm.ttf differ diff --git a/src/css/fonts/cmunrm.woff b/src/css/fonts/cmunrm.woff new file mode 100644 index 0000000..52e181d Binary files /dev/null and b/src/css/fonts/cmunrm.woff differ diff --git a/src/css/fonts/cmunrm.woff2 b/src/css/fonts/cmunrm.woff2 new file mode 100644 index 0000000..87cb90c Binary files /dev/null and b/src/css/fonts/cmunrm.woff2 differ diff --git a/src/css/fonts/cmunsi.ttf b/src/css/fonts/cmunsi.ttf new file mode 100644 index 0000000..bcbbb14 Binary files /dev/null and b/src/css/fonts/cmunsi.ttf differ diff --git a/src/css/fonts/cmunsi.woff b/src/css/fonts/cmunsi.woff new file mode 100644 index 0000000..54a6f95 Binary files /dev/null and b/src/css/fonts/cmunsi.woff differ diff --git a/src/css/fonts/cmunsi.woff2 b/src/css/fonts/cmunsi.woff2 new file mode 100644 index 0000000..d162934 Binary files /dev/null and b/src/css/fonts/cmunsi.woff2 differ diff --git a/src/css/fonts/cmunsl.ttf b/src/css/fonts/cmunsl.ttf new file mode 100644 index 0000000..6f4f543 Binary files /dev/null and b/src/css/fonts/cmunsl.ttf differ diff --git a/src/css/fonts/cmunsl.woff b/src/css/fonts/cmunsl.woff new file mode 100644 index 0000000..a7af826 Binary files /dev/null and b/src/css/fonts/cmunsl.woff differ diff --git a/src/css/fonts/cmunsl.woff2 b/src/css/fonts/cmunsl.woff2 new file mode 100644 index 0000000..e93095d Binary files /dev/null and b/src/css/fonts/cmunsl.woff2 differ diff --git a/src/css/fonts/cmunso.ttf b/src/css/fonts/cmunso.ttf new file mode 100644 index 0000000..79e9d9c Binary files /dev/null and b/src/css/fonts/cmunso.ttf differ diff --git a/src/css/fonts/cmunso.woff b/src/css/fonts/cmunso.woff new file mode 100644 index 0000000..1fe2bca Binary files /dev/null and b/src/css/fonts/cmunso.woff differ diff --git a/src/css/fonts/cmunso.woff2 b/src/css/fonts/cmunso.woff2 new file mode 100644 index 0000000..b835f02 Binary files /dev/null and b/src/css/fonts/cmunso.woff2 differ diff --git a/src/css/fonts/cmunss.ttf b/src/css/fonts/cmunss.ttf new file mode 100644 index 0000000..4f904f1 Binary files /dev/null and b/src/css/fonts/cmunss.ttf differ diff --git a/src/css/fonts/cmunss.woff b/src/css/fonts/cmunss.woff new file mode 100644 index 0000000..5a63300 Binary files /dev/null and b/src/css/fonts/cmunss.woff differ diff --git a/src/css/fonts/cmunss.woff2 b/src/css/fonts/cmunss.woff2 new file mode 100644 index 0000000..13e75bb Binary files /dev/null and b/src/css/fonts/cmunss.woff2 differ diff --git a/src/css/fonts/cmunssdc.ttf b/src/css/fonts/cmunssdc.ttf new file mode 100644 index 0000000..c46b443 Binary files /dev/null and b/src/css/fonts/cmunssdc.ttf differ diff --git a/src/css/fonts/cmunssdc.woff b/src/css/fonts/cmunssdc.woff new file mode 100644 index 0000000..6df475c Binary files /dev/null and b/src/css/fonts/cmunssdc.woff differ diff --git a/src/css/fonts/cmunssdc.woff2 b/src/css/fonts/cmunssdc.woff2 new file mode 100644 index 0000000..0469b20 Binary files /dev/null and b/src/css/fonts/cmunssdc.woff2 differ diff --git a/src/css/fonts/cmunsx.ttf b/src/css/fonts/cmunsx.ttf new file mode 100644 index 0000000..53d642c Binary files /dev/null and b/src/css/fonts/cmunsx.ttf differ diff --git a/src/css/fonts/cmunsx.woff b/src/css/fonts/cmunsx.woff new file mode 100644 index 0000000..4f54a6a Binary files /dev/null and b/src/css/fonts/cmunsx.woff differ diff --git a/src/css/fonts/cmunsx.woff2 b/src/css/fonts/cmunsx.woff2 new file mode 100644 index 0000000..fbb13f7 Binary files /dev/null and b/src/css/fonts/cmunsx.woff2 differ diff --git a/src/css/fonts/cmuntb.ttf b/src/css/fonts/cmuntb.ttf new file mode 100644 index 0000000..fa687ae Binary files /dev/null and b/src/css/fonts/cmuntb.ttf differ diff --git a/src/css/fonts/cmuntb.woff b/src/css/fonts/cmuntb.woff new file mode 100644 index 0000000..0c4fbb8 Binary files /dev/null and b/src/css/fonts/cmuntb.woff differ diff --git a/src/css/fonts/cmuntb.woff2 b/src/css/fonts/cmuntb.woff2 new file mode 100644 index 0000000..9b95f5f Binary files /dev/null and b/src/css/fonts/cmuntb.woff2 differ diff --git a/src/css/fonts/cmunti.ttf b/src/css/fonts/cmunti.ttf new file mode 100644 index 0000000..ec5f1f6 Binary files /dev/null and b/src/css/fonts/cmunti.ttf differ diff --git a/src/css/fonts/cmunti.woff b/src/css/fonts/cmunti.woff new file mode 100644 index 0000000..1d624b5 Binary files /dev/null and b/src/css/fonts/cmunti.woff differ diff --git a/src/css/fonts/cmunti.woff2 b/src/css/fonts/cmunti.woff2 new file mode 100644 index 0000000..27aee60 Binary files /dev/null and b/src/css/fonts/cmunti.woff2 differ diff --git a/src/css/fonts/cmuntt.ttf b/src/css/fonts/cmuntt.ttf new file mode 100644 index 0000000..d975a18 Binary files /dev/null and b/src/css/fonts/cmuntt.ttf differ diff --git a/src/css/fonts/cmuntt.woff b/src/css/fonts/cmuntt.woff new file mode 100644 index 0000000..eeff4d5 Binary files /dev/null and b/src/css/fonts/cmuntt.woff differ diff --git a/src/css/fonts/cmuntt.woff2 b/src/css/fonts/cmuntt.woff2 new file mode 100644 index 0000000..71deefc Binary files /dev/null and b/src/css/fonts/cmuntt.woff2 differ diff --git a/src/css/fonts/cmuntx.ttf b/src/css/fonts/cmuntx.ttf new file mode 100644 index 0000000..2060c30 Binary files /dev/null and b/src/css/fonts/cmuntx.ttf differ diff --git a/src/css/fonts/cmuntx.woff b/src/css/fonts/cmuntx.woff new file mode 100644 index 0000000..687b421 Binary files /dev/null and b/src/css/fonts/cmuntx.woff differ diff --git a/src/css/fonts/cmuntx.woff2 b/src/css/fonts/cmuntx.woff2 new file mode 100644 index 0000000..ba547de Binary files /dev/null and b/src/css/fonts/cmuntx.woff2 differ diff --git a/src/css/fonts/cmunui.ttf b/src/css/fonts/cmunui.ttf new file mode 100644 index 0000000..4222439 Binary files /dev/null and b/src/css/fonts/cmunui.ttf differ diff --git a/src/css/fonts/cmunui.woff b/src/css/fonts/cmunui.woff new file mode 100644 index 0000000..99f6b1b Binary files /dev/null and b/src/css/fonts/cmunui.woff differ diff --git a/src/css/fonts/cmunui.woff2 b/src/css/fonts/cmunui.woff2 new file mode 100644 index 0000000..0273dc9 Binary files /dev/null and b/src/css/fonts/cmunui.woff2 differ diff --git a/src/css/fonts/cmunvi.ttf b/src/css/fonts/cmunvi.ttf new file mode 100644 index 0000000..288f91d Binary files /dev/null and b/src/css/fonts/cmunvi.ttf differ diff --git a/src/css/fonts/cmunvi.woff b/src/css/fonts/cmunvi.woff new file mode 100644 index 0000000..ea5a889 Binary files /dev/null and b/src/css/fonts/cmunvi.woff differ diff --git a/src/css/fonts/cmunvi.woff2 b/src/css/fonts/cmunvi.woff2 new file mode 100644 index 0000000..0c2b0f2 Binary files /dev/null and b/src/css/fonts/cmunvi.woff2 differ diff --git a/src/css/fonts/cmunvt.ttf b/src/css/fonts/cmunvt.ttf new file mode 100644 index 0000000..57bcaf4 Binary files /dev/null and b/src/css/fonts/cmunvt.ttf differ diff --git a/src/css/fonts/cmunvt.woff b/src/css/fonts/cmunvt.woff new file mode 100644 index 0000000..b5c34d2 Binary files /dev/null and b/src/css/fonts/cmunvt.woff differ diff --git a/src/css/fonts/cmunvt.woff2 b/src/css/fonts/cmunvt.woff2 new file mode 100644 index 0000000..5d7a280 Binary files /dev/null and b/src/css/fonts/cmunvt.woff2 differ diff --git a/src/css/latex.css b/src/css/latex.css new file mode 100644 index 0000000..5a1bc41 --- /dev/null +++ b/src/css/latex.css @@ -0,0 +1,379 @@ +/*! + * LaTeX.css (https://latex.now.sh/) + * + * Source: https://github.com/vincentdoerig/latex-css + * Licensed under MIT (https://github.com/vincentdoerig/latex-css/blob/master/LICENSE) +*/ + +@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'); +} + +/* Box sizing rules */ +*, +*::before, +*::after { + box-sizing: border-box; +} + +/* Remove default margin */ +body, +h1, +h2, +h3, +h4, +p, +ul[class], +ol[class], +li, +figure, +figcaption, +dl, +dd { + margin: 0; +} + +/* Make default font-size 1rem and add smooth scrolling to anchors */ +html { + font-size: 1rem; + scroll-behavior: smooth; +} + +body { + 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; + + counter-reset: theorem; + counter-reset: definition; + + color: hsl(0, 5%, 10%); + background-color: hsl(210, 20%, 98%); + + text-rendering: optimizeLegibility; +} + +/* Justify and hyphenate all paragraphs */ +p { + text-align: justify; + hyphens: auto; + -webkit-hyphens: auto; + -moz-hyphens: auto; + margin-top: 1rem; +} + +/* A elements that don't have a class get default styles */ +a:not([class]) { + text-decoration-skip-ink: auto; +} + +/* Make links red */ +a, +a:visited { + color: #a00; +} + +/* Make images easier to work with */ +img { + max-width: 100%; + display: block; +} + +/* Inherit fonts for inputs and buttons */ +input, +button, +textarea, +select { + font: inherit; +} + +/* Prevent textarea from overflowing */ +textarea { + width: 100%; +} + +/* Natural flow and rhythm in articles by default */ +article > * + * { + 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%; +} +pre { + padding: 1rem 1.4rem; + max-width: 100%; + overflow: auto; + border: 1px solid hsl(210, 15%, 49%); + border-radius: 4px; + background: hsl(210, 40%, 96%); +} +pre code { + font-size: 95%; + position: relative; +} +kbd { + background: hsl(210, 5%, 100%); + border: 1px solid hsl(210, 5%, 70%); + border-radius: 2px; + padding: 2px 4px; + font-size: 75%; +} + +/* Make table 100% width, add borders between rows */ +table { + border-collapse: collapse; + border-spacing: 0; + width: 100%; + max-width: 100%; +} +th, +td { + text-align: left; + padding: 0.5rem; +} +td { + border-bottom: 1px solid hsl(0, 0%, 85%); +} +thead th { + border-bottom: 2px solid hsl(0, 0%, 70%); +} +tfoot th { + border-top: 2px solid hsl(0, 0%, 70%); +} + +/* Center align the title */ +h1:first-child { + text-align: center; +} + +/* Nested ordered list for ToC */ +nav ol { + counter-reset: item; + padding-left: 2rem; +} +nav li { + display: block; +} +nav li:before { + content: counters(item, '.') ' '; + counter-increment: item; + padding-right: 0.85rem; +} + +/* Center definitions (most useful for display equations) */ +dl dd { + text-align: center; +} + +/* Theorem */ +.theorem { + counter-increment: theorem; + display: block; + margin: 12px 0; + font-style: italic; +} +.theorem::before { + content: 'Theorem ' counter(theorem) '. '; + font-weight: bold; + font-style: normal; +} + +/* Lemma */ +.lemma { + counter-increment: theorem; + display: block; + margin: 12px 0; + font-style: italic; +} +.lemma::before { + content: 'Lemma ' counter(theorem) '. '; + font-weight: bold; + font-style: normal; +} + +/* Proof */ +.proof { + display: block; + margin: 12px 0; + font-style: normal; + position: relative; +} +.proof::before { + content: 'Proof. ' attr(title); + font-style: italic; +} +.proof:after { + content: '◾️'; + position: absolute; + right: -12px; + bottom: -2px; +} + +/* Definition */ +.definition { + counter-increment: definition; + display: block; + margin: 12px 0; + font-style: normal; +} +.definition::before { + 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; +} + +/* 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%); +} + +/* Center title and paragraph */ +.abstract, +.abstract p { + text-align: center; +} +.abstract { + margin: 2.25rem 0; +} + +/* 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.25em; + margin-left: -0.36em; + 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; +} + +/* Heading typography */ +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; +} diff --git a/src/css/mk.css b/src/css/mk.css index 02fadb0..cec9502 100644 --- a/src/css/mk.css +++ b/src/css/mk.css @@ -1,225 +1,25 @@ -/* CSS to be used for HTML Org-mode export - Author: Yann Esposito -*/ -/* Fonts */ -:root { - --lh: 18px; -} - -body { - font-size: 14px; - font-family: monospace; - line-height: var(--lh); - min-height: 100vh; -} -label + pre { margin-top: 2px; } -pre, code { - line-height: 1em; -} -code { font-size: 14px; } -blockquote pre { - line-height: var(--lh); -} -/* Layout */ -body, h1, h2, h3, h4, h5, h6, pre, code, blockquote, ol, ul, ol ol, ul ul, ul ol, ol -ul, li, p, section, header, footer, img { - float: none; - margin: 0; - padding: 0; - border: 0; - hyphens: auto; -} -h1, h2, h3, h4, h5, h6, pre, code, blockquote, p, ul, ol, section, header, -figure,table,label { - margin-top: var(--lh); - margin-bottom: var(--lh); -} -blockquote { - border-left: solid 2px; - padding-left: 1ex; -} -li { - display: block; - padding-left: 2ch; -} -ol > li:before, ul > li:before { - content: "– "; - float: left; - position: relative; - left: -2ch; - text-align: right; - width: 0; -} -ol { - counter-reset: ol; -} -ol > li:before { - content: counter(ol) ". "; - counter-increment: ol; -} -ol > li:nth-child(n+10) { - padding-left:3ch; -} -ol > li:nth-child(n+10):before { - left: -3ch; -} -img { - width: 100%; - margin: 1em auto; -} -p > img, li > img { - max-height: 1cap; - width: auto; - margin: 0; - vertical-align: middle; -} -table { - max-width: 100%; - border-collapse: collapse; - overflow: scroll; - border-top: solid 2px; - border-bottom: solid 2px; -} -td, th { - height: 1em; - padding: 0 10px; - text-align: left; - vertical-align: middle; -} -sup { - vertical-align: top; - position: relative; - top: -.25em; -} -sup > a { - text-decoration: none; - padding: 1px 2px; - font-weight: bold; -} - -/* Markdown tricks */ -h1 { font-size: 1.5em; } -h2,h3,h4,h5,h6 { - font-size: 1em; -} -h1:before,h2:before,h3:before,h4:before,h5:before,h6:before { - font-family: "PT Mono", monospace; -} -h1::before { - content: "# "; -} -h2::before { - content: "## "; -} -h3::before { - content: "### "; -} -h4::before { - content: "#### "; -} -h5::before { - content: "##### "; -} -h6::before { - content: "###### "; -} -hr { - border: 0; -} -#logo { text-align: center; } -#preamble h1, #preamble h2 { - margin-top: 0; - margin-bottom: .5em; -} -#table-of-contents, -#table-of-contents ul, -#table-of-contents h2 -{ - padding:0; - margin:0; -} -#table-of-contents { - margin-bottom: var(--lh); -} -hr:after { - font-family: "PT Mono", monospace; - text-align: center; - content: "----------------------------------------------------------"; - display:block; - width: 100%; - overflow: hidden; - opacity: .5; - height: 1em; -} -pre { - max-width: 100%; - overflow-x: scroll; - overflow-y: hidden; -} -pre:after,pre:before { - content: "~~~~~~~"; - display: block; } -pre:before { - content: "~~~~~~~ " attr(class); -} -nav { - display: block; - padding: 10px 0; -} -nav .details { - font-weight: normal; - font-size: .8em; -} - -/* org mode ids and classes */ -figure, .figure { - margin: 1em 0; -} -#content,.content { - max-width: 45em; - margin: 1em auto; - padding: 0 1em; -} -#content:last-child, .notes *:last-child, blockquote *:last-child { - margin-bottom: 0; -} -#content:first-child, .notes *:first-child, blockquote *:first-child{ - margin-top: 0; -} -#postamble { - margin-top: var(--lh); -} -.todo, .done { - font-size: 14px; - font-weight: bold; - padding: 1px 1ex; -} -.metas { - font-weight: normal; -} -.footpara { - display: inline; -} -.footdef > sup { - vertical-align: middle; -} -.footdef > sup::after { - content: ": "; -} -.notes { - padding: 1ex; -} -.underline { - text-decoration: underline; -} - /* COLORS */ /* colortheme switch */ body>input { display: none; } -#labels > .content { margin: 0 auto; } -label { padding: 4px 20px; font-weight: 700; } +#labels > .content { margin: 0 auto; text-align: center; } +label { font-weight: 700; } label:hover { cursor: pointer; } +#logo { text-align: center; } +body { margin:0; padding: 0; border: 0; max-width: none;} +#content,.content,#preamble,#postamble { + max-width: 80ch; + overflow-x: hidden; + margin: 0 auto; +} +figure img { width: 100%; } +.footdef > sup { vertical-align: top; font-size: medium; } +.footdef > sup > a { padding: 0.5em; } +.footpara { display: inline; } +footer { margin: 3em 0; padding: 1em 0; border-top: solid 1px; border-bottom: solid 1px; line-height: 1em; } +#postamble td { border-bottom: none; } +nav { text-align: center; padding: 2em 0; } + :root { --b03: #2E3440; @@ -247,8 +47,7 @@ label:hover { cursor: pointer; } --fg0: var(--b0); --fg: var(--b02); --rfg: #000; - --hl: blue; - --fhl: #FF0; + --hl: var(--o); } /* light checked */ @@ -258,8 +57,7 @@ input#l:checked ~ div { --fg0: var(--b0); --fg: var(--b02); --rfg: #000; - --hl: blue; - --fhl: #FF0; + --hl: var(--o); } input#l:checked ~ div img { filter: none; @@ -267,13 +65,12 @@ input#l:checked ~ div img { /* dark checked */ input#d:checked ~ div { - --bg: black; + --bg: hsl(210,20%,2%); --rbg: var(--b03); --fg: var(--b1); --fg0: var(--b00); --rfg: var(--b2); --hl: var(--y); - --fhl: #000; } input#d:checked ~ div img { filter: brightness(0.5) saturate(0.5); @@ -289,82 +86,15 @@ input#d:checked ~ div img { --fg0: var(--b00); --rfg: var(--b2); --hl: var(--y); - --fhl: #000; } img { filter: brightness(0.5) saturate(0.5); } } - -/* Default color theme */ body, body > div { background: var(--bg); color: var(--fg); } -h1, h2, h3, h4, h5, h6 { - color: var(--rfg); -} -a { - color: var(--hl); - font-weight: 700; -} -b, strong, i, em { - color: var(--rfg); -} +a,a:visited { color: var(--hl); } -sup > a { - background: var(--rbg); -} - -h1:before, h2:before, h3:before, h4:before, h5:before, h6:before { - color: var(--fg0); -} - -.metas, .metas a, .metas a:visited { - color: var(--fg0); -} -nav a, nav a:visited { - color: var(--fg); -} -a:hover, label:hover, .metas a:hover, nav a:hover, a:hover * -{ - color: var(--fhl); - background: var(--hl); -} -ol > li:before, pre::after,pre::before,hr:after { - color: var(--fg0); -} - -abbr { border-bottom: dashed 1px; - display: inline-block; - } - -thead, tr:hover { - background: var(--rbg); - color: var(--rfg); -} -table, td, th { - border-color: var(--fg0); -} -code { - background: var(--rbg); - font-weight: 700; -} -/* -------- */ -/* org colors */ -.todo, .done { - height: 10px; - display: inline-block; - line-height: 12px; - font-weight: bold; - font-size: 10px; - border-left: solid 2px; - border-right: solid 2px; - padding: 0 3px; -} -.notes { - background: var(--rbg); - color: var(--rfg); - margin: 1em 0; -} /* ---- SYNTAX HIGHLIGHTING ---- */ .org-rainbow-delimiters-depth-1, .org-rainbow-delimiters-depth-9, .org-css-selector, .org-nix-attribute, .org-builtin, diff --git a/src/css/y.css b/src/css/y.css new file mode 100644 index 0000000..779d4d3 --- /dev/null +++ b/src/css/y.css @@ -0,0 +1,565 @@ +/* Fonts if you need them +@font-face { + font-family: 'CMU Serif'; + font-style: normal; + font-weight: normal; + font-display: swap; + src: url('./fonts/cmunrm.woff2') format('woff2'), + url('./fonts/cmunrm.woff') format('woff'), + url('./fonts/cmunrm.ttf') format('truetype'); +} + +@font-face { + font-family: 'CMU Serif'; + font-style: italic; + font-weight: normal; + font-display: swap; + src: url('./fonts/cmunti.woff2') format('woff2'), + url('./fonts/cmunti.woff') format('woff'), + url('./fonts/cmunti.ttf') format('truetype'); +} + +@font-face { + font-family: 'CMU Serif'; + font-style: normal; + font-weight: bold; + font-display: swap; + src: url('./fonts/cmunbx.woff2') format('woff2'), + url('./fonts/cmunbx.woff') format('woff'), + url('./fonts/cmunbx.ttf') format('truetype'); +} + +@font-face { + font-family: 'CMU Serif'; + font-style: italic; + font-weight: bold; + font-display: swap; + src: url('./fonts/cmunbi.woff2') format('woff2'), + url('./fonts/cmunbi.woff') format('woff'), + url('./fonts/cmunbi.ttf') format('truetype'); +} + +@font-face { + font-family: 'CMU Typewriter'; + font-style: normal; + font-weight: normal; + font-display: swap; + src: url('./fonts/cmuntt.woff2') format('woff2'), + url('./fonts/cmuntt.woff') format('woff'), + url('./fonts/cmuntt.ttf') format('truetype'); +} + +@font-face { + font-family: 'CMU Typewriter'; + font-style: italic; + font-weight: normal; + font-display: swap; + src: url('./fonts/cmunit.woff2') format('woff2'), + url('./fonts/cmunit.woff') format('woff'); + url('./fonts/cmunit.ttf') format('truetype'); +} + +@font-face { + font-family: 'CMU Typewriter'; + font-style: normal; + font-weight: bold; + font-display: swap; + src: url('./fonts/cmuntb.woff2') format('woff2'), + url('./fonts/cmuntb.woff') format('woff'), + url('./fonts/cmuntb.ttf') format('truetype'); +} + +@font-face { + font-family: 'CMU Typewriter'; + font-style: italic; + font-weight: bold; + font-display: swap; + src: url('./fonts/cmuntx.woff2') format('woff2'), + url('./fonts/cmuntx.woff') format('woff'), + url('./fonts/cmuntx.ttf') format('truetype'); +} + +*/ + +/* Box sizing rules */ +*, +*::before, +*::after { + box-sizing: border-box; +} + +/* Remove default margin */ +body, +h1, +h2, +h3, +h4, +p, +ul[class], +ol[class], +li, +figure, +figcaption, +dl, +dd { + margin: 0; +} + +/* Make default font-size 1rem and add smooth scrolling to anchors */ +html { + font-size: 1rem; + scroll-behavior: smooth; +} + +body { + font-family: 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; + + counter-reset: theorem; + counter-reset: definition; + + color: hsl(0, 5%, 10%); + background-color: hsl(210, 20%, 98%); + + text-rendering: optimizeLegibility; +} + +/* Justify and hyphenate all paragraphs */ +p { + text-align: justify; + hyphens: auto; + -webkit-hyphens: auto; + -moz-hyphens: auto; + margin-top: 1rem; +} + +/* A elements that don't have a class get default styles */ +a:not([class]) { + text-decoration-skip-ink: auto; +} + +/* Make links red */ +a, +a:visited { + color: #a00; +} + +/* Make images easier to work with */ +img { + max-width: 100%; + display: block; +} + +/* Inherit fonts for inputs and buttons */ +input, +button, +textarea, +select { + font: inherit; +} + +/* Prevent textarea from overflowing */ +textarea { + width: 100%; +} + +/* Natural flow and rhythm in articles by default */ +article > * + * { + 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%; +} +pre { + padding: 1rem 1.4rem; + max-width: 100%; + overflow: auto; + border: 1px solid hsl(210, 15%, 49%); + border-radius: 4px; + background: hsl(210, 40%, 96%); +} +pre code { + font-size: 95%; + position: relative; +} +kbd { + background: hsl(210, 5%, 100%); + border: 1px solid hsl(210, 5%, 70%); + border-radius: 2px; + padding: 2px 4px; + font-size: 75%; +} + +/* Make table 100% width, add borders between rows */ +table { + border-collapse: collapse; + border-spacing: 0; + width: 100%; + max-width: 100%; +} +th, +td { + text-align: left; + padding: 0.5rem; +} +td { + border-bottom: 1px solid hsl(0, 0%, 85%); +} +thead th { + border-bottom: 2px solid hsl(0, 0%, 70%); +} +tfoot th { + border-top: 2px solid hsl(0, 0%, 70%); +} + +/* Center align the title */ +h1:first-child { + text-align: center; +} + +/* Nested ordered list for ToC */ +nav ol { + counter-reset: item; + padding-left: 2rem; +} +nav li { + display: block; +} +nav li:before { + content: counters(item, '.') ' '; + counter-increment: item; + padding-right: 0.85rem; +} + +/* Center definitions (most useful for display equations) */ +dl dd { + text-align: center; +} + +/* Theorem */ +.theorem { + counter-increment: theorem; + display: block; + margin: 12px 0; + font-style: italic; +} +.theorem::before { + content: 'Theorem ' counter(theorem) '. '; + font-weight: bold; + font-style: normal; +} + +/* Lemma */ +.lemma { + counter-increment: theorem; + display: block; + margin: 12px 0; + font-style: italic; +} +.lemma::before { + content: 'Lemma ' counter(theorem) '. '; + font-weight: bold; + font-style: normal; +} + +/* Proof */ +.proof { + display: block; + margin: 12px 0; + font-style: normal; + position: relative; +} +.proof::before { + content: 'Proof. ' attr(title); + font-style: italic; +} +.proof:after { + content: '◾️'; + position: absolute; + right: -12px; + bottom: -2px; +} + +/* Definition */ +.definition { + counter-increment: definition; + display: block; + margin: 12px 0; + font-style: normal; +} +.definition::before { + 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; +} + +/* 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%); +} + +/* Center title and paragraph */ +.abstract, +.abstract p { + text-align: center; +} +.abstract { + margin: 2.25rem 0; +} + +/* 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.25em; + margin-left: -0.36em; + 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; +} + +/* Heading typography */ +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; +} +/* COLORS */ + +/* colortheme switch */ +body>input { display: none; } +#labels > .content { margin: 0 auto; text-align: center; } +label { font-weight: 700; } +label:hover { cursor: pointer; } +#logo { text-align: center; } +body { margin:0; padding: 0; border: 0; max-width: none;} +#preamble, #postamble { text-align: center; } +#content,.content,#preamble,#postamble { + max-width: 80ch; + overflow: hidden; + margin: 0 auto; +} +figure img { width: 100%; } +.footdef > sup { vertical-align: top; font-size: medium; } +.footdef > sup > a { padding: 0.5em; } +.footpara { display: inline; } +footer { margin: 3em 0; padding: 1em 0; border-top: solid 1px; border-bottom: solid 1px; line-height: 1em; } +td { border-bottom: none; padding: .2rem; } +table { margin-top: 1rem; } +nav { text-align: center; padding: 2em 0; } +pre { line-height: 1em; } + +:root { + --b03: #2E3440; + --b02: #3B4252; + /* not used because light mode is has more contrast + --b01: #656b74; + */ + --b00: #727781; + --b0: #989ea8; + --b1: #b0bac7; + --b2: #ECEFF4; + --b3: #fff; + --y: #c18600; + --o: #d84100; + --r: #e62729; + --m: #ec0085; + --v: #6c71c4; + --b: #0095ff; + --c: #00b0a3; + --g: #879a00; + + /* default light */ + --bg: var(--b3); + --rbg: var(--b2); + --fg0: var(--b0); + --fg: var(--b02); + --rfg: #000; + --hl: var(--o); +} + +/* light checked */ +input#l:checked ~ div { + --bg: var(--b3); + --rbg: var(--b2); + --fg0: var(--b0); + --fg: var(--b02); + --rfg: #000; + --hl: var(--o); +} +input#l:checked ~ div img { + filter: none; +} + +/* dark checked */ +input#d:checked ~ div { + --bg: hsl(210,20%,2%); + --rbg: var(--b03); + --fg: var(--b1); + --fg0: var(--b00); + --rfg: var(--b2); + --hl: var(--y); +} +input#d:checked ~ div img { + filter: brightness(0.7) saturate(0.5); +} +input#d:checked ~ div pre { + background: hsl(210,40%,15%); + border: hsl(210,15%,43%); +} + +/* dark preferred */ +@media (prefers-color-scheme: dark) +{ + :root { + --bg: black; + --rbg: var(--b03); + --fg: var(--b1); + --fg0: var(--b00); + --rfg: var(--b2); + --hl: var(--y); + } + img { filter: brightness(0.7) saturate(0.5); } + pre { + background: hsl(210,40%,15%); + border: hsl(210,15%,43%); + } +} +body, body > div { + background: var(--bg); + color: var(--fg); +} +a,a:visited { color: var(--hl); } + +/* ---- SYNTAX HIGHLIGHTING ---- */ +#table-of-contents { text-align: left; } +.org-rainbow-delimiters-depth-1, .org-rainbow-delimiters-depth-9, +.org-css-selector, .org-nix-attribute, .org-builtin, +.IN_REVIEW { + color:var(--c); +} + +.org-rainbow-delimiters-depth-2, .org-nix-builtin, .org-variable-name, +.org-haskell-definition, .org-haskell-operator, .org-function-name, .org-diff-changed { + color:var(--b); +} + +.org-rainbow-delimiters-depth-3, .HOLD, .WAITING { + color:var(--v); +} + +.org-rainbow-delimiters-depth-4, .org-diff-hunk-header, .org-sh-quoted-exec, +.CANCELED { + color:var(--m); +} +.org-rainbow-delimiters-depth-5, .org-diff-removed, .TODO { + color:var(--r); +} +.org-rainbow-delimiters-depth-6, .org-haskell-constructor { + color:var(--o); +} +.org-rainbow-delimiters-depth-7, .org-type, .org-constant, .org-diff-header, +.org-haskell-keyword, .org-haskell-type, .IN_PROGRESS { + color:var(--y); +} +.org-rainbow-delimiters-depth-8, .org-sh-heredoc, .org-diff-added, .org-string, +.org-doc, .org-keyword, .DONE { + color:var(--g); +} + +.org-highlight-numbers-number, .org-highlight-number-number, +.org-diff-none, .org-preprocessor, .org-comment-delimiter, .org-comment, +.org-outshine-level-1, .org-outshine-level-2, .org-outshine-level-3, +.org-outshine-level-4, .org-outshine-level-5, .org-outshine-level-6, +.org-outshine-level-7, .org-outshine-level-8, .org-outshine-level-9 { + color:var(--fg0); +}