doc: fix biome linting errors

This commit is contained in:
Wolfgang Walther 2025-08-20 15:04:58 +02:00
parent 46df6abf87
commit 3c0eec6236
No known key found for this signature in database
GPG key ID: B39893FA5F65CAE1
2 changed files with 3 additions and 4 deletions

View file

@ -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)',
)

View file

@ -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;
}