summaryrefslogtreecommitdiff
path: root/source/_includes
diff options
context:
space:
mode:
authorPrefetch2022-10-27 20:40:09 +0200
committerPrefetch2022-10-27 20:40:09 +0200
commit6e70f28ccbd5afc1506f71f013278a9d157ef03a (patch)
treea8ca7113917f3e0040d6e5b446e4e41291fd9d3a /source/_includes
parentbcae81336764eb6c4cdf0f91e2fe632b625dd8b2 (diff)
Optimize last images, add proof template, improve CSS
Diffstat (limited to 'source/_includes')
-rw-r--r--source/_includes/image.html19
-rw-r--r--source/_includes/preamble.html4
-rw-r--r--source/_includes/proof/end.html3
-rw-r--r--source/_includes/proof/start.html6
4 files changed, 24 insertions, 8 deletions
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>