options: Fix PKI name link

This commit is contained in:
Francis Lavoie 2023-09-07 14:00:30 -04:00
parent b845c57cbb
commit 2639f28a27
No known key found for this signature in database
GPG key ID: 0F66EE1687682239

View file

@ -24,6 +24,12 @@ $(function() {
let url = '#' + text.replace(/#/g, '').trim().toLowerCase().replace(/ /g, "-");
$(item).html(before + '<a href="' + url + '" style="color: inherit;" title="' + text + '">' + text + '</a>');
});
// Surgically fix a duplicate link; 'name' appears twice as a link
// for two different sections, so we change the second to #name-1
$('pre.chroma .line:contains("ca [<id>]")')
.next()
.find('a:contains("name")')
.attr('href', '#name-1');
});
</script>