From 8bf0408d3ca2ff4778afbfdfb878d900a918ef0c Mon Sep 17 00:00:00 2001
From: Luc Perkins <lucperkins@gmail.com>
Date: Fri, 21 Feb 2025 14:20:35 -0500
Subject: [PATCH 1/2] Use DetSys logo

---
 doc/manual/source/favicon.png | Bin 1205 -> 0 bytes
 doc/manual/source/favicon.svg |  30 +++++++++++++++++++++++++++++-
 2 files changed, 29 insertions(+), 1 deletion(-)
 delete mode 100644 doc/manual/source/favicon.png

diff --git a/doc/manual/source/favicon.png b/doc/manual/source/favicon.png
deleted file mode 100644
index 1ed2b5fe0fdf7a6144adc5cdfa31b5f553df4610..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 1205
zcmeAS@N?(olHy`uVBq!ia0vp^0wB!63?wyl`GbL!Lb6AYF9SoB8UsT^3j@P1pisjL
z28L1t28LG&3=CE?7#PG0=IjczVPIf#2=EDU1u6(CKb+Wiwr=O+;uW{c*4&A1Jrz{8
z)4ynQ?dJPcYwy%;xnI8WmUr$t-~6qfnQMIVwv;WuQL*Yq-L5CatL}tUABt^18CZ5O
zZ{c;IIY350$$p>|3flP?CbiEsc~jS!_w~D<f)wn0T(<*+fU-~p#e4k<cY0-S%A9!)
zB(?ofP#H)Hj)3O-gVgNs$=&Rmzp)hPjBO9=w>@-8-UT(J^iW{g;gG5$d2=oUQB>1m
z@0`tUsjG?>Uj}-le#`xk$|De!wc8%H9(?})|Nq7v4}s!!o9``u`G4xw?{%B*m9M-R
zQVF#5P*BAYs3W&O0$NnJ^+EmC2f#3iZ95)VdI0Dcpiyv-WY0P0p1#T_Z>w*?cE6%s
z0mXX*O7{cRz=NWC>%+j(ZC*JW9phIsFhqD|Z2-E>D|<5oL#Aiu_JGoT5S2AM9(m_%
z^2y&CR<plu)BT364|3<8i)h#r(|)KL=-J&*>-T^|Z`YHa^B;WkcK|~ywEAG>n%i}o
z?*m;33^cfn5C+gCK-VVsovq)Bq973HJg^IaA?BI2x8vB0x*d-|{@wK?2;{Xx@L&gd
z6Br#}DWLg41A!_7O7;R1&jO{3!1TqiyCldDl>V>-|M%V{f8t%=1*kvR${~LK!l5U+
zE;&bk_oXlWQ^n1wc;Wk}FW<i1zw^<YXR@}CmEH2Q;g;r+pC+dMh+<)9w0XObnR)KL
z`{$VF9oT*QslN7+7l#%vIr`$Lj_%{Tdk-yQQ8@eH?gD0}dGG9**jXcfq)+%1V__A3
zezm=|koGiQ(+~F^eEa_O^LHgip0dBo(|Uj9xM)8-c0qz;%R>#{_g-;-%DvtP?D4mF
z3v@eUlDE4HLkFv@2av;A;1O92%u<U$nDJ@>dl*pgo2QFoh{WaOgaa%+lY%b!7;P&0
z#MO01K~H({q)lC`X6<TQHqDG%SvkPLJ>38PfeR-pwsWptDH(9!&Y?@EZXLUJ?%u(R
zCvUb+Y&?7Q?A^ncPv1U%{k*+`LB~Wz3l$R`8>LBem9?zY%+A@&Q&cq6v{aosxqG&{
zZmqvtnwWE$-@AKzYU1qb8k-I+dNe7hZPTZ&Q>$J{IWD}l>sQ;cWoc{=r(N6jt?%5r
zck}M;`^PElD$%0uJI|=}))z_R^t1Df!;|M3G=KQRx`_L`Zq%NXmz(B1)oy8II+Uax
zzII#0=CZrLc%@q#nRs{}%{I%wxhr?~k-oXRTQ>fXWq5hY<KX;*4ex*<AX(xXQ4*Y=
qR#Ki=l*&+EUaps!mtCBkSdglhUz9%kosASw5re0zpUXO@geCy3nptoF

diff --git a/doc/manual/source/favicon.svg b/doc/manual/source/favicon.svg
index 1d2a6e835..55fb9479b 100644
--- a/doc/manual/source/favicon.svg
+++ b/doc/manual/source/favicon.svg
@@ -1 +1,29 @@
-<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="587.11" height="516.604" viewBox="0 0 550.416 484.317"><defs><linearGradient id="a"><stop offset="0" style="stop-color:#699ad7;stop-opacity:1"/><stop offset=".243" style="stop-color:#7eb1dd;stop-opacity:1"/><stop offset="1" style="stop-color:#7ebae4;stop-opacity:1"/></linearGradient><linearGradient id="b"><stop offset="0" style="stop-color:#415e9a;stop-opacity:1"/><stop offset=".232" style="stop-color:#4a6baf;stop-opacity:1"/><stop offset="1" style="stop-color:#5277c3;stop-opacity:1"/></linearGradient><linearGradient xlink:href="#a" id="c" x1="200.597" x2="290.087" y1="351.411" y2="506.188" gradientTransform="translate(70.65 -1055.151)" gradientUnits="userSpaceOnUse"/><linearGradient xlink:href="#b" id="e" x1="-584.199" x2="-496.297" y1="782.336" y2="937.714" gradientTransform="translate(864.696 -1491.34)" gradientUnits="userSpaceOnUse"/></defs><g style="display:inline;opacity:1" transform="translate(-132.651 958.04)"><path id="d" d="m309.549-710.388 122.197 211.675-56.157.527-32.624-56.87-32.856 56.566-27.903-.011-14.29-24.69 46.81-80.49-33.23-57.826z" style="opacity:1;fill:url(#c);fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:3;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"/><use xlink:href="#d" width="100%" height="100%" transform="rotate(60 407.112 -715.787)"/><use xlink:href="#d" width="100%" height="100%" transform="rotate(-60 407.312 -715.7)"/><use xlink:href="#d" width="100%" height="100%" transform="rotate(180 407.419 -715.756)"/><path id="f" d="m309.549-710.388 122.197 211.675-56.157.527-32.624-56.87-32.856 56.566-27.903-.011-14.29-24.69 46.81-80.49-33.23-57.826z" style="color:#000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000;solid-opacity:1;fill:url(#e);fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:3;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"/><use xlink:href="#f" width="100%" height="100%" style="display:inline" transform="rotate(120 407.34 -716.084)"/><use xlink:href="#f" width="100%" height="100%" style="display:inline" transform="rotate(-120 407.288 -715.87)"/></g></svg>
\ No newline at end of file
+<svg xmlns="http://www.w3.org/2000/svg" width="426" height="370" fill="none">
+  <path fill="url(#a)" d="M425.5 185V62.31L319.25.97 213 62.31V185l106.25 61.35L425.5 185Z"/>
+  <path fill="url(#b)" d="M213 307.69V185l-106.25-61.35L.5 185v122.69l106.25 61.34L213 307.69Z"/>
+  <path fill="url(#c)" d="M319.26 246.34V123.65L213 62.31l-106.25 61.34v122.69L213 307.69l106.26-61.35Z"/>
+  <defs>
+    <linearGradient id="a" x1="403.046" x2="235.449" y1="39.859" y2="207.456" gradientUnits="userSpaceOnUse">
+      <stop offset=".114" stop-color="#F8A51C"/>
+      <stop offset=".207" stop-color="#F68E28"/>
+      <stop offset=".397" stop-color="#F2643E"/>
+      <stop offset=".569" stop-color="#EF454E"/>
+      <stop offset=".715" stop-color="#ED3358"/>
+      <stop offset=".818" stop-color="#EC2C5B"/>
+    </linearGradient>
+    <linearGradient id="b" x1="199.31" x2="14.194" y1="168.677" y2="324.008" gradientUnits="userSpaceOnUse">
+      <stop offset=".078" stop-color="#0D4D9C"/>
+      <stop offset=".258" stop-color="#1162AC" stop-opacity=".773"/>
+      <stop offset=".628" stop-color="#1C98D4" stop-opacity=".308"/>
+      <stop offset=".675" stop-color="#1E9FD9" stop-opacity=".248"/>
+      <stop offset=".903" stop-color="#28AAE1" stop-opacity=".1"/>
+    </linearGradient>
+    <linearGradient id="c" x1="296.803" x2="129.205" y1="101.198" y2="268.795" gradientUnits="userSpaceOnUse">
+      <stop offset=".119" stop-color="#CD1E8B" stop-opacity=".9"/>
+      <stop offset=".223" stop-color="#B52790" stop-opacity=".885"/>
+      <stop offset=".445" stop-color="#783E9C" stop-opacity=".854"/>
+      <stop offset=".762" stop-color="#1762AF" stop-opacity=".809"/>
+      <stop offset=".826" stop-color="#036AB3" stop-opacity=".8"/>
+    </linearGradient>
+  </defs>
+</svg>

From 6b8a7514983103d326da5ca5a6110e07b747550d Mon Sep 17 00:00:00 2001
From: Luc Perkins <lucperkins@gmail.com>
Date: Fri, 21 Feb 2025 14:26:12 -0500
Subject: [PATCH 2/2] Make image smaller

---
 doc/manual/custom.css | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/doc/manual/custom.css b/doc/manual/custom.css
index 7af150be3..119c6d125 100644
--- a/doc/manual/custom.css
+++ b/doc/manual/custom.css
@@ -1,5 +1,5 @@
 :root {
-    --sidebar-width: 23em;
+  --sidebar-width: 23em;
 }
 
 h1.menu-title::before {
@@ -7,11 +7,10 @@ h1.menu-title::before {
   background-image: url("./favicon.svg");
   padding: 1.25em;
   background-position: center center;
-  background-size: 2em;
+  background-size: 1.5em;
   background-repeat: no-repeat;
 }
 
-
 .menu-bar {
   padding: 0.5em 0em;
 }
@@ -21,13 +20,13 @@ h1.menu-title::before {
 }
 
 h1:not(:first-of-type) {
-    margin-top: 1.3em;
+  margin-top: 1.3em;
 }
 
 h2 {
-    margin-top: 1em;
+  margin-top: 1em;
 }
 
 .hljs-meta {
-    user-select: none;
+  user-select: none;
 }