blob: b590aabe268b99608e2baa279235a47f09ef56c7 (
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
45
46
47
48
49
50
51
52
|
/*
@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.
*/
var highlightedRule;
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");
e.onclick = function(event) {
if (e.matches(':hover') || e.matches(':active')) {
// Set background with JS for more control
if (highlightedRule) {
highlightedRule.classList.remove("highlighted");
}
highlightedRule = e;
e.classList.add("highlighted");
const origin = window.location.origin;
const path = window.location.pathname;
const anchor = e.id;
let url = origin + '/' + path + '#' + anchor;
navigator.clipboard.writeText(url);
// Stop the event handling for potential parent rules
event.stopPropagation();
}
}
}
}
window.onload = function() {
prepareLinkableRules();
console.log("loaded");
}
|
