From 483fb7e7556280b1da1fb1b171cab7d57855668c Mon Sep 17 00:00:00 2001 From: Paul Savoie Date: Fri, 29 Aug 2025 17:25:04 +0200 Subject: [PATCH] adds header links --- docs/_includes/header.html | 4 ++-- docs/_sass/headerlinks.scss | 14 ++++++++++++++ docs/assets/css/index.scss | 1 + docs/assets/js/main-bundle.js | 2 +- webpack/headerlinks.js | 13 +++++++++++++ webpack/main.js | 2 ++ 6 files changed, 33 insertions(+), 3 deletions(-) create mode 100644 docs/_sass/headerlinks.scss create mode 100644 webpack/headerlinks.js diff --git a/docs/_includes/header.html b/docs/_includes/header.html index 571c2460..767465f5 100644 --- a/docs/_includes/header.html +++ b/docs/_includes/header.html @@ -36,10 +36,10 @@ - + - + {%- if page.redirhack != null -%}