.pre-commit-config.yaml

@@ -56,7 +56,12 @@ repos:
     rev: v2.2.0
     hooks:
       - id: doctoc
-        args: [--update-only, --no-title]
+        args: [
+            --update-only,
+            --title,
+            '<em lang="fi">Automaattinen sisällysluettelo</em> / <em
+            lang="en">Automatically generated Table of Contents</em>',
+          ]
 
   - repo: https://github.com/python-jsonschema/check-jsonschema
     rev: 0.29.0

Gemfile.lock

@@ -21,22 +21,22 @@ GEM
     ffi (1.17.0-x86_64-linux-gnu)
     ffi (1.17.0-x86_64-linux-musl)
     forwardable-extended (2.6.0)
-    google-protobuf (4.27.3)
+    google-protobuf (4.27.2)
       bigdecimal
       rake (>= 13)
-    google-protobuf (4.27.3-aarch64-linux)
+    google-protobuf (4.27.2-aarch64-linux)
       bigdecimal
       rake (>= 13)
-    google-protobuf (4.27.3-arm64-darwin)
+    google-protobuf (4.27.2-arm64-darwin)
       bigdecimal
       rake (>= 13)
-    google-protobuf (4.27.3-x86-linux)
+    google-protobuf (4.27.2-x86-linux)
       bigdecimal
       rake (>= 13)
-    google-protobuf (4.27.3-x86_64-darwin)
+    google-protobuf (4.27.2-x86_64-darwin)
       bigdecimal
       rake (>= 13)
-    google-protobuf (4.27.3-x86_64-linux)
+    google-protobuf (4.27.2-x86_64-linux)
       bigdecimal
       rake (>= 13)
     http_parser.rb (0.8.0)
@@ -90,7 +90,7 @@ GEM
     rb-fsevent (0.11.2)
     rb-inotify (0.11.1)
       ffi (~> 1.0)
-    rexml (3.3.4)
+    rexml (3.3.2)
       strscan
     rouge (4.3.0)
     safe_yaml (1.0.5)

assets/main.scss

@@ -4,16 +4,17 @@
 
 @charset "utf-8";
 
-// Font specifications. I keep changing my mind on what are the most pleasant
+// Our font definitions. I know system-ui is generally sans-serif, but I
-// fonts to my eyes, so I won't bother commenting them here.'
+// consider that lesser evil than not letting the client OS choose its
-$serif-font-family: ui-serif, "Roboto Serif", "Noto Serif", Tinos, serif,
+// preferred font.
-  "Noto Emoji", "Noto Color Emoji", emoji;
+$serif-font-family: ui-serif, system-ui, serif, "Noto Emoji",
-$sans-serif-font-family: ui-sans-serif, "Roboto Flex", Roboto, "Noto Sans",
+  "Noto Color Emoji", emoji;
-  Arimo, sans-serif, "Noto Emoji", "Noto Color Emoji", emoji;
+$sans-serif-font-family: ui-sans-serif, system-ui, sans-serif, "Noto Emoji",
-$monospace-font-family: ui-monospace, "Roboto Mono", "Noto Mono", Cousine,
+  "Noto Color Emoji", emoji;
-  monospace, "Noto Emoji", "Noto Color Emoji", emoji;
+$monospace-font-family: ui-monospace, monospace, "Noto Emoji",
+  "Noto Color Emoji", emoji;
 // Must be in the end under threat of undefined variable error.
-$base-font-family: $serif-font-family;
+$base-font-family: $sans-serif-font-family;
 
 @import "{{ site.theme }}";