diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2017-12-14 01:32:53 -0800 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-02-01 14:58:18 +0100 |
commit | cabe219d10492e376fcfbfa514ae8a722d5e21e2 (patch) | |
tree | 6746942c491aa13b6a4d36cbb2e8adef61651542 /html-test/ref/DeprecatedReExport.html | |
parent | 4f75be94f45a0e92553eccefe56230c554333ce7 (diff) |
Clickable anchors for headings (#716)
See #579. This just adds an <a> tag around the heading, pointing to the
heading itself.
Diffstat (limited to 'html-test/ref/DeprecatedReExport.html')
-rw-r--r-- | html-test/ref/DeprecatedReExport.html | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index fd137108..fa1532a4 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -79,8 +79,10 @@ ></details ></div ><div id="interface" - ><h1 id="g:1" - >Re-exported from an other module</h1 + ><a href="#" id="g:1" + ><h1 + >Re-exported from an other module</h1 + ></a ><div class="top" ><p class="src" ><a id="v:foo" class="def" @@ -103,8 +105,10 @@ >some documentation for foo</p ></div ></div - ><h1 id="g:2" - >Re-exported from an other package</h1 + ><a href="#" id="g:2" + ><h1 + >Re-exported from an other package</h1 + ></a ><div class="doc" ><p >Not yet working, see <a href="#" |