Optimize last images, add proof template, improve CSS

6 files changed, 52 insertions, 25 deletions

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; }
diff --git a/source/infra/image/logo-cgit.png b/source/infra/image/logo-cgit.png
new file mode 100644
index 0000000..9b7b783
--- /dev/null
+++ b/source/infra/image/logo-cgit.png
diff --git a/source/infra/image/logo-yu4qu3.avif b/source/infra/image/logo-yu4qu3.avif
new file mode 100644
index 0000000..b0be209
--- /dev/null
+++ b/source/infra/image/logo-yu4qu3.avif
diff --git a/source/infra/image/logo256.png b/source/infra/image/logo-yu4qu3.png
index d6b9961..d6b9961 100644
--- a/source/infra/image/logo256.png
+++ b/source/infra/image/logo-yu4qu3.png
diff --git a/source/infra/image/logo96x64.gif b/source/infra/image/logo96x64.gif
deleted file mode 100644
index 869890b..0000000
--- a/source/infra/image/logo96x64.gif
+++ /dev/null