diff options
| author | Daniel Sidhion <DanielSidhion@users.noreply.github.com> | 2024-03-16 12:16:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-16 20:16:59 +0100 |
| commit | a1581a3647763319d2865e589b63c73dbe67a550 (patch) | |
| tree | f971cfe3f38226b25ddbc19e214437bf0931f639 /doc/anchor-use.js | |
| parent | 4645c67723a68f688636fea1a501000d751d35fd (diff) | |
doc: fix and simplify stylesheets for the manuals, fix nrd bug (#295847)
* doc: fix and simplify stylesheets for the manuals, fix nrd bug * Add anchorjs script to add links on section headers * Fix another nrd bug, address style changes * Use span instead of a for inline span syntax
Diffstat (limited to 'doc/anchor-use.js')
| -rw-r--r-- | doc/anchor-use.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/anchor-use.js b/doc/anchor-use.js new file mode 100644 index 0000000000000..06ec24883aa3a --- /dev/null +++ b/doc/anchor-use.js @@ -0,0 +1,3 @@ +document.addEventListener('DOMContentLoaded', function(event) { + anchors.add('h1:not(div.note h1, div.warning h1, div.tip h1, div.caution h1, div.important h1), h2:not(div.note h2, div.warning h2, div.tip h2, div.caution h2, div.important h2), h3:not(div.note h3, div.warning h3, div.tip h3, div.caution h3, div.important h3), h4:not(div.note h4, div.warning h4, div.tip h4, div.caution h4, div.important h4), h5:not(div.note h5, div.warning h5, div.tip h5, div.caution h5, div.important h5), h6:not(div.note h6, div.warning h6, div.tip h6, div.caution h6, div.important h6)'); +}); |