blob: 82261a1ea7d9d394dcd1becccda8f9c2694b5a94 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
/*
@licstart The following is the entire license notice for the
JavaScript code in this page.
Copyright (C) 2025 Florian Fischer
The JavaScript code in this page is free software: you can
redistribute it and/or modify it under the terms of the GNU
General Public License (GNU GPL) as published by the Free Software
Foundation, either version 3 of the License, or any later version.
The code is distributed WITHOUT ANY WARRANTY;
without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the GNU GPL for more details.
As additional permission under GNU GPL version 3 section 7, you
may distribute non-source (e.g., minimized or compacted) forms of
that code without the copy of the GNU GPL normally required by
section 4, provided you include this license notice and a URL
through which recipients can access the Corresponding Source.
@licend The above is the entire license notice
for the JavaScript code in this page.
*/
function prepareLinkableRules() {
for (let e of document.querySelectorAll(".rule")) {
// Add class via js to ensure there is no wrong
// sense of functionality in browsers without js
e.classList.add("linkable-rule");
// TODO: support nested lists
e.onclick = function() {
if (e.matches(':hover') || e.matches(':active')) {
const origin = window.location.origin;
const path = window.location.pathname;
const anchor = e.id;
let url = origin + '/' + path + '#' + anchor;
navigator.clipboard.writeText(url);
// document.getElementsByTagName("body")[0].focus();
}
}
}
}
window.onload = function() {
prepareLinkableRules();
}
|
