This commit is contained in:
Yann Esposito (Yogsototh) 2022-02-19 09:48:39 +01:00
parent 0dd91cb23a
commit 887a590f7e
Signed by untrusted user who does not match committer: yogsototh
GPG key ID: 7B19A4C650D59646
2 changed files with 17 additions and 9 deletions

View file

@ -23,4 +23,4 @@ pipeblue() {while read line; do blue $line; done}
tee >(lorri watch | sed 's/^/[lorri] /' | pipegreen ) \ tee >(lorri watch | sed 's/^/[lorri] /' | pipegreen ) \
>(./engine/serve.sh | sed 's/^/[http] /' | pipeyellow) \ >(./engine/serve.sh | sed 's/^/[http] /' | pipeyellow) \
>(./engine/auto-build.sh | sed 's/^/[make] /' | pipeblue) \ >(./engine/auto-build.sh | sed 's/^/[make] /' | pipeblue) \
>(sleep 1 && open 'http://127.0.0.1:3000') >(sleep 1 && open 'http://127.0.0.1:3077')

View file

@ -1,15 +1,17 @@
html { html {
font-family: Georgia, serif; font-family: Georgia, serif;
font-size: 18px; font-size: 18px;
line-height: calc(1ex/0.25); line-height: calc(1ex/0.32);
} }
#TOC {text-align: left;} #TOC {text-align: left;}
html,body { margin: 0; padding: 0; border: 0; } html,body { margin: 0; padding: 0; border: 0; }
.main { min-height: calc(100vh - 1em); } .main { min-height: calc(100vh - 1em); }
h1,h2,h3,h4,h5,h6 { h1,h2,h3,h4,h5,h6 {
font-family: Courier, monospace;
line-height: calc(1ex/0.42); line-height: calc(1ex/0.42);
margin: calc(1ex/0.42) 0; } margin: calc(1ex/0.42) 0;
#preamble h1 { margin: 0; } font-size: 1.5em;
padding: 1em 0; }
p { text-align: justify; hyphens: auto; } p { text-align: justify; hyphens: auto; }
pre { overflow-x: scroll; padding: 1em; border-left: dotted 1px; } pre { overflow-x: scroll; padding: 1em; border-left: dotted 1px; }
pre > code { background: none; font-size: 0.875em; padding: 0; } pre > code { background: none; font-size: 0.875em; padding: 0; }
@ -44,6 +46,8 @@ sup, sub {
vertical-align: baseline; vertical-align: baseline;
position: relative; position: relative;
top: -0.4em; top: -0.4em;
padding: 0.1em 0.5em;
border-radius: 3px;
} }
sub { top: 0.4em; } sub { top: 0.4em; }
.footdef > sup { vertical-align: top; font-size: medium; } .footdef > sup { vertical-align: top; font-size: medium; }
@ -83,7 +87,8 @@ figcaption { text-align: right; font-style: italic; font-size: 0.875em; }
--g: #879a00; --g: #879a00;
--bg: #fff; --bg: #fff;
--fg: #000; --fg: hsl(218,20%,35%);
--hl: #000;
--gr: hsl(218,20%,95%); --gr: hsl(218,20%,95%);
} }
@ -104,20 +109,23 @@ img:hover,svg:hover { filter: none; }
--g: #939452; --g: #939452;
--bg: hsl(218,20%,12%); --bg: hsl(218,20%,12%);
--fg: hsl(218,20%,70%); --fg: hsl(218,20%,70%);
--hl: hsl(218,10%,93%);
--gr: hsl(218,20%,20%); --gr: hsl(218,20%,20%);
} }
img { filter: brightness(0.6) sepia(100%) hue-rotate(185deg) saturate(0.5); } img { filter: brightness(0.6) sepia(100%) hue-rotate(185deg) saturate(0.5); }
img:hover { filter: brightness(0.7); } img:hover { filter: brightness(0.7); }
strong, b, i, emph, a:hover { color: hsl(218,50%,90%); } strong, b, i, emph, a:hover { color: ; }
} }
pre,code { background: var(--gr); } strong, b, i, emph, a:hover, h1, h2, h3, h4, h5, h6 { color: var(--hl); }
pre,code,sup,sub { background: var(--gr); }
a > sup:hover, a > sub:hover { background: var(--o); color: white; }
body, body > div { body, body > div {
background: var(--bg); background: var(--bg);
color: var(--fg); color: var(--fg);
} }
a { color: var(--b); } a { color: var(--hl); }
a:visited { color: var(--v); } a:visited { color: var(--fg); }
a:hover { color: var(--o); } a:hover { color: var(--o); }
/* ---- SYNTAX HIGHLIGHTING ---- */ /* ---- SYNTAX HIGHLIGHTING ---- */
.ex { color:var(--v); } .ex { color:var(--v); }