PageSourceSearch

https://www.marcusbannerman.co.uk/HMMT/header.js

js marcusbannerman.co.uk collected 2026-10-07 19:07:59 UTC 2,139 bytes, 63 lines download raw bytes

1
2document.getElementsByTagName("head")[0].insertAdjacentHTML(
3  "beforeend",
4  "<link rel=\"stylesheet\" href=\"../reveal.js/dist/reveal.css\" />"
5  +"<link rel=\"stylesheet\" href=\"../reveal.js/dist/theme/white.css\" />"  
6  +"<link rel=\"stylesheet\" href=\"../resources/Font-Awesome/css/font-awesome.min.css\" />"
7  +"<link rel=\"stylesheet\" href=\"../MCBreveal.css\" />"  
8  +"<link rel=\"shortcut icon\" type=\"image/png\" href=\"favicon.png\">"
9);
10
11document.head.getElementsByTagName("link")[1].id="theme"
12
13navigator.getUserMedia = ( navigator.getUserMedia ||
14                       navigator.webkitGetUserMedia ||
15                       navigator.mozGetUserMedia ||
16                       navigator.msGetUserMedia);
17
18function UpdateQueryString(key, value, url) {
19  if (!url) url = window.location.href;
20  var re = new RegExp("([?&])" + key + "=.*?(&|#|$)(.*)", "gi"),
21      hash;
22
23  if (re.test(url)) {
24      if (typeof value !== 'undefined' && value !== null) {
25          return url.replace(re, '$1' + key + "=" + value + '$2$3');
26      } 
27      else {
28          hash = url.split('#');
29          url = hash[0].replace(re, '$1$3').replace(/(&|\?)$/, '');
30          if (typeof hash[1] !== 'undefined' && hash[1] !== null) {
31              url += '#' + hash[1];
32          }
33          return url;
34      }
35  }
36  else {
37      if (typeof value !== 'undefined' && value !== null) {
38          var separator = url.indexOf('?') !== -1 ? '&' : '?';
39          hash = url.split('#');
40          url = hash[0] + separator + key + '=' + value;
41          if (typeof hash[1] !== 'undefined' && hash[1] !== null) {
42              url += '#' + hash[1];
43          }
44          return url;
45      }
46      else {
47          return url;
48      }
49  }
50}
51
52function TogglePrintable() {
53    const urlSearchParams = new URLSearchParams(window.location.search);
54    const params = Object.fromEntries(urlSearchParams.entries());
55    if (params.hasOwnProperty("print-pdf"))
56        window.location = UpdateQueryString("print-pdf");
57    else
58        window.location = UpdateQueryString("print-pdf", "");
59}
60
61function ToggleOverview() {
62    Reveal.toggleOverview(true);
63}

Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.