summaryrefslogtreecommitdiff
path: root/source/infra
diff options
context:
space:
mode:
authorPrefetch2022-10-27 20:40:09 +0200
committerPrefetch2022-10-27 20:40:09 +0200
commit6e70f28ccbd5afc1506f71f013278a9d157ef03a (patch)
treea8ca7113917f3e0040d6e5b446e4e41291fd9d3a /source/infra
parentbcae81336764eb6c4cdf0f91e2fe632b625dd8b2 (diff)
Optimize last images, add proof template, improve CSS
Diffstat (limited to 'source/infra')
-rw-r--r--source/infra/css/main.css61
-rw-r--r--source/infra/css/syntax.css16
-rw-r--r--source/infra/image/logo-cgit.pngbin0 -> 1245 bytes
-rw-r--r--source/infra/image/logo-yu4qu3.avifbin0 -> 2341 bytes
-rw-r--r--source/infra/image/logo-yu4qu3.png (renamed from source/infra/image/logo256.png)bin7152 -> 7152 bytes
-rw-r--r--source/infra/image/logo96x64.gifbin467 -> 0 bytes
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
Binary files differ
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
Binary files differ
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
Binary files differ
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
Binary files differ