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/_includes/image.html       | 19 +++++++++++++------
 source/_includes/preamble.html    |  4 ++--
 source/_includes/proof/end.html   |  3 +++
 source/_includes/proof/start.html |  6 ++++++
 4 files changed, 24 insertions(+), 8 deletions(-)
 create mode 100644 source/_includes/proof/end.html
 create mode 100644 source/_includes/proof/start.html

(limited to 'source/_includes')

diff --git a/source/_includes/image.html b/source/_includes/image.html
index a9bc3fd..5b4f35f 100644
--- a/source/_includes/image.html
+++ b/source/_includes/image.html
@@ -12,22 +12,29 @@
 {% comment %} If 'name' ends in "full", half-size image must exist {% endcomment %}
 {% assign name_full = name %}
 {% if suffix == "full" %}
-  {% assign name_half = prefix | append: "half" %}
+ {% assign name_half = prefix | append: "half" %}
 {% else %}
-  {% assign name_half = name_full %}
+ {% assign name_half = name_full %}
 {% endif %}
 
 {% comment %} Insert the image, linking to the full-size version {% endcomment %}
+{% if include.class %}
+ {% assign add_class = 'class="' | append: include.class | append: '"' %}
+{% endif %}
+{% if include.style or include.width %}
+ {% assign set_width = "width:" | append: include.width %}
+ {% assign set_style = include.style | default: set_width %}
+ {% assign add_style = 'style="' | append: set_style | append: '"' %}
+{% endif %}
 <p>
 <a href="{{ name_full }}.{{ format }}">
- {% assign set_width = "width:" | append: include.width %}
- <picture markdown="0">
+ <picture>
   <source srcset="{{ name_half }}.avif" type="image/avif">
   {% if name_full == name_half %}
-   <img src="{{ name_half }}.{{ format }}" style="{{ include.style | default: set_width }}" alt="{{ include.alt }}" title="{{ include.alt }}">
+   <img src="{{ name_half }}.{{ format }}" {{ add_class }} {{ add_style }} alt="{{ include.alt }}" title="{{ include.alt }}">
   {% else %}
    <source srcset="{{ name_half }}.webp" type="image/webp">
-   <img src="{{ name_half }}.jpg" style="{{ include.style | default: set_width }}" alt="{{ include.alt }}" title="{{ include.alt }}">
+   <img src="{{ name_half }}.jpg" {{ add_class }} {{ add_style }} alt="{{ include.alt }}" title="{{ include.alt }}">
   {% endif %}
  </picture>
 </a>
diff --git a/source/_includes/preamble.html b/source/_includes/preamble.html
index 312f1cf..c94741b 100644
--- a/source/_includes/preamble.html
+++ b/source/_includes/preamble.html
@@ -1,9 +1,9 @@
 <meta charset="utf-8">
 {% if page.layout == "blog" or page.syntax %}
-<link rel="stylesheet" href="/infra/css/syntax.css?v=20221008">
+<link rel="stylesheet" href="/infra/css/syntax.css?v=20221027">
 {% endif %}
 {% if page.layout == "concept" or page.maths %}
 <link rel="stylesheet" href="/infra/css/katex.min.css?v=20221008">
 {% endif %}
-<link rel="stylesheet" href="/infra/css/main.css?v=20221001">
+<link rel="stylesheet" href="/infra/css/main.css?v=20221027">
 <script data-goatcounter="https://prefetch.goatcounter.com/count" async src="https://gc.zgo.at/count.js"></script>
diff --git a/source/_includes/proof/end.html b/source/_includes/proof/end.html
new file mode 100644
index 0000000..29533a4
--- /dev/null
+++ b/source/_includes/proof/end.html
@@ -0,0 +1,3 @@
+
+</div>
+</div>
diff --git a/source/_includes/proof/start.html b/source/_includes/proof/start.html
new file mode 100644
index 0000000..780b159
--- /dev/null
+++ b/source/_includes/proof/start.html
@@ -0,0 +1,6 @@
+<div class="proof">
+<input type="checkbox" class="proof" id="{{ include.id }}"/>
+<label class="proof" for="{{ include.id }}">{{ include.label | default: "Proof" }}</label>
+<div class="proof-hidden" markdown="1">
+<div class="proof-starts"></div>
+<label class="proof" for="{{ include.id }}">{{ include.label | default: "Proof" }}.</label>
-- 
cgit v1.2.3