Merge branch 'stable'

mpilgrem · mpilgrem · commit 3126ea8cf0ee · 2025-01-11T20:13:26.000Z
diff --git a/doc/img/stack-favicon.svg b/doc/img/stack-favicon.svg
@@ -0,0 +1,132 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   font-size="1px"
+   viewBox="0 0 1.4 1.399965"
+   stroke="#000000"
+   width="1.4"
+   stroke-opacity="1"
+   height="1.4"
+   version="1.1"
+   id="svg4"
+   sodipodi:docname="logo.svg"
+   inkscape:version="1.4 (86a8ad7, 2024-10-11)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <sodipodi:namedview
+     id="namedview4"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:showpageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:zoom="256"
+     inkscape:cx="0.703125"
+     inkscape:cy="0.70117188"
+     inkscape:window-width="1920"
+     inkscape:window-height="1129"
+     inkscape:window-x="-8"
+     inkscape:window-y="-8"
+     inkscape:window-maximized="1"
+     inkscape:current-layer="svg4" />
+  <defs
+     id="defs1" />
+  <rect
+     style="fill:#7e56c2;fill-opacity:1;stroke:none;stroke-width:0.777777"
+     id="rect4"
+     width="1.4"
+     height="1.4"
+     x="0"
+     y="-8.8302531e-06"
+     rx="0.23333333"
+     ry="0.23333333" />
+  <g
+     id="g7"
+     transform="translate(0.19999999,0.13491541)">
+    <g
+       id="g5">
+      <g
+         stroke-linejoin="miter"
+         fill-opacity="1"
+         fill="rgb(143,78,139)"
+         stroke="#000000"
+         stroke-linecap="butt"
+         stroke-miterlimit="10"
+         stroke-opacity="1"
+         stroke-width="0"
+         id="g1"
+         style="fill:#ffffff">
+        <path
+           d="M 0.8039,0.5 0.7255,0.3824 H 1 V 0.5 Z"
+           id="path1"
+           style="fill:#ffffff" />
+      </g>
+      <g
+         stroke-linejoin="miter"
+         fill-opacity="1"
+         fill="rgb(143,78,139)"
+         stroke="#000000"
+         stroke-linecap="butt"
+         stroke-miterlimit="10"
+         stroke-opacity="1"
+         stroke-width="0"
+         id="g2"
+         style="fill:#ffffff">
+        <path
+           d="M 0.6863,0.3235 0.6079,0.2059 h 0.3922 v 0.1176 z"
+           id="path2"
+           style="fill:#ffffff" />
+      </g>
+      <g
+         stroke-linejoin="miter"
+         fill-opacity="1"
+         fill="rgb(94,80,134)"
+         stroke="#000000"
+         stroke-linecap="butt"
+         stroke-miterlimit="10"
+         stroke-opacity="1"
+         stroke-width="0"
+         id="g3"
+         style="fill:#ffffff">
+        <path
+           d="M 0.2353,0.7059 0.4706,0.353 0.2353,1e-4 H 0.4118 L 0.8824,0.706 H 0.7059 L 0.5588,0.4854 0.4117,0.706 Z"
+           id="path3"
+           style="fill:#ffffff" />
+      </g>
+      <g
+         stroke-linejoin="miter"
+         fill-opacity="1"
+         fill="rgb(69,58,98)"
+         stroke="#000000"
+         stroke-linecap="butt"
+         stroke-miterlimit="10"
+         stroke-opacity="1"
+         stroke-width="0"
+         id="g4"
+         style="fill:#ffffff">
+        <path
+           d="M 0,0.7059 0.2353,0.353 0,1e-4 H 0.1765 L 0.4118,0.353 0.1765,0.7059 Z"
+           id="path4"
+           style="fill:#ffffff" />
+      </g>
+    </g>
+    <g
+       id="g6">
+      <path
+         style="fill:none;stroke:#ffffff;stroke-width:0.1;stroke-linecap:round;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1"
+         d="M 0,0.79661061 H 1"
+         id="path5" />
+      <path
+         style="fill:none;stroke:#ffffff;stroke-width:0.1;stroke-linecap:round;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1"
+         d="M 0,0.93833105 H 1"
+         id="path6" />
+      <path
+         style="fill:none;stroke:#ffffff;stroke-width:0.1;stroke-linecap:round;stroke-linejoin:miter;stroke-dasharray:none;stroke-opacity:1"
+         d="M 0,1.0800515 H 1"
+         id="path7" />
+    </g>
+  </g>
+</svg>
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -13,6 +13,7 @@ theme:
     accent: 'deep purple'
   icon:
     logo: simple/haskell
+  favicon: img/stack-favicon.svg
   features:
   - content.code.annotate
   - content.code.copy
