From 3c0eec623643bc543197a3a6997c096aaebfc396 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Wed, 20 Aug 2025 15:04:58 +0200
Subject: [PATCH] doc: fix biome linting errors

---
 doc/anchor-use.js | 2 +-
 doc/style.css     | 5 ++---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/doc/anchor-use.js b/doc/anchor-use.js
index 76177ee773cf..20693ba01c8a 100644
--- a/doc/anchor-use.js
+++ b/doc/anchor-use.js
@@ -1,4 +1,4 @@
-document.addEventListener('DOMContentLoaded', (event) => {
+document.addEventListener('DOMContentLoaded', () => {
   anchors.add(
     'h1[id]:not(div.note h1, div.warning h1, div.tip h1, div.caution h1, div.important h1), h2[id]:not(div.note h2, div.warning h2, div.tip h2, div.caution h2, div.important h2), h3[id]:not(div.note h3, div.warning h3, div.tip h3, div.caution h3, div.important h3), h4[id]:not(div.note h4, div.warning h4, div.tip h4, div.caution h4, div.important h4), h5[id]:not(div.note h5, div.warning h5, div.tip h5, div.caution h5, div.important h5), h6[id]:not(div.note h6, div.warning h6, div.tip h6, div.caution h6, div.important h6)',
   )
diff --git a/doc/style.css b/doc/style.css
index d2b31e84b66f..a4bb35d923b4 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -50,7 +50,7 @@ hr {
 }
 
 pre {
-  font-family: monospace, monospace;
+  font-family: monospace;
   font-size: 1em;
 }
 
@@ -63,7 +63,7 @@ strong {
 }
 
 code {
-  font-family: monospace, monospace;
+  font-family: monospace;
   font-size: 1em;
 }
 
@@ -293,7 +293,6 @@ div.appendix .caution > .title,
 div.appendix .important > .title {
   font-weight: 800;
   line-height: 110%;
-  margin-bottom: 1rem;
   color: inherit;
   margin-bottom: 0;
 }