From 03690d3b4cd81e0feb2beba2a649e5cf331281a5 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 18 Mar 2026 16:14:53 +0000 Subject: [PATCH 1/2] Initial plan From c32ed9cbb2492625cfa70562d3ae08c159ba6261 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 18 Mar 2026 16:19:15 +0000 Subject: [PATCH 2/2] Add quick search/filter to Glossary pages for faster navigation Co-authored-by: LukasWallrich <60155545+LukasWallrich@users.noreply.github.com> --- layouts/glossary/list.html | 20 ++++++++++++++++++++ layouts/glossary/single.html | 20 ++++++++++++++++++++ 2 files changed, 40 insertions(+) diff --git a/layouts/glossary/list.html b/layouts/glossary/list.html index f3380590ad..8fd16cc00e 100644 --- a/layouts/glossary/list.html +++ b/layouts/glossary/list.html @@ -11,6 +11,22 @@ } + +
@@ -18,6 +34,10 @@
  • List of terms
  • + +