From 6e70f28ccbd5afc1506f71f013278a9d157ef03a Mon Sep 17 00:00:00 2001 From: Prefetch Date: Thu, 27 Oct 2022 20:40:09 +0200 Subject: Optimize last images, add proof template, improve CSS --- source/infra/css/main.css | 61 ++++++++++++++++++++++++++------------------- source/infra/css/syntax.css | 16 ++++++++++++ 2 files changed, 52 insertions(+), 25 deletions(-) (limited to 'source/infra/css') diff --git a/source/infra/css/main.css b/source/infra/css/main.css index 5127873..3f64520 100644 --- a/source/infra/css/main.css +++ b/source/infra/css/main.css @@ -11,10 +11,21 @@ --f: #ededed; --a: #ffff00; } - .darkinv {filter: invert(100%)} + .darkinv {filter: invert(100%);} } /* Basic elements */ +/* See also https://github.com/necolas/normalize.css/blob/master/normalize.css */ +html { + line-height: 1.5; + -webkit-text-size-adjust: none; + text-size-adjust: none; +} +hr { + box-sizing: content-box; + height: 0; + overflow: visible; +} body { background: #ededed; background: var(--b); @@ -26,43 +37,42 @@ body { padding: 1rem 0; font-family: sans-serif; - line-height: 1.5; } -h1,h2,h3 {text-align: center;} +h1, h2, h3 {text-align: center;} h1 {font-size: 2.0rem;} h2 {font-size: 1.6rem;} h3 {font-size: 1.2rem;} a { + background-color: transparent; text-decoration: none; color: #0000ff; color: var(--a); } img { + border-style: none; display: block; max-width: 100%; height: auto; margin: auto; } +table {margin: auto;} +td {padding: 0 1.5rem;} +/*code, pre { + font-family: monospace, monospace; + font-size: 1em; +}*/ +b, strong {font-weight: bolder;} /* Header and footer */ .nav { height: 3rem; font-size: 2.4rem; - padding: 0.25rem 0; -} -.navl { - float: left; - text-align: left; } -.navr { - float: right; - text-align: right; -} -.footl { +.navl, .footl { float: left; text-align: left; } -.footr { +.navr, .footr { float: right; text-align: right; } @@ -82,18 +92,19 @@ img { color: var(--a); } -/* Collapsible boxes */ -label { +/* IE-compatible collapsible proofs */ +div.proof { + display: block; + border: dotted; + padding: 0.25rem 0.5rem; +} +label.proof { color: #0000ff; color: var(--a); cursor: pointer; } -.accordion { - display: block; - padding: 0.3rem 0.5rem; - border-style: dotted; -} -input {display: none;} -input + label + .hidden {display: none;} -input:checked + label {display: none;} -input:checked + label + .hidden {display: block;} +.proof-hidden {display: none;} +input.proof {display: none;} +input.proof:checked + label {display: none;} +input.proof:checked + label + .proof-hidden {display: block;} +.proof-starts + p {margin-top: 0;} diff --git a/source/infra/css/syntax.css b/source/infra/css/syntax.css index 8772351..50191d2 100644 --- a/source/infra/css/syntax.css +++ b/source/infra/css/syntax.css @@ -1,3 +1,19 @@ +.highlighter-rouge { + border: 1px solid; + border-color: #999988; + background-color: #f8f8f8; +} +@media only screen and (prefers-color-scheme: dark) { +.highlighter-rouge { + background-color: #0d1117; + border-color: #8b949e; +} +} +div.highlight { overflow: auto; } +pre.highlight { margin: 0.5em; } + + + /* From https://github.com/brazacz/rouge-themes/blob/main/css/github.css */ .highlight { background-color: #f8f8f8; } .highlight .bp { color: #999999; } -- cgit v1.2.3