25 lines
1.1 KiB
HTML
25 lines
1.1 KiB
HTML
<!--
|
|
Progressively enhanced code blocks. From foot_custom.html.
|
|
Basically, without JavaScript, code blocks are fine but don't look as good as they
|
|
could. With JavaScript, some dynamic styling.
|
|
-->
|
|
<!-- Fix the extra line at the top of the code blocks. -->
|
|
|
|
<script>
|
|
if(navigator.getEnvironmentIntegrity!==undefined) {
|
|
document.querySelector('#main').innerHTML=`
|
|
<h1> WEI DRM Detected </h1>
|
|
<p>You are viewing this website in a browser with Web
|
|
Environment Integrity, a DRM scheme designed to
|
|
monopolize the web and force Web users to conform. Please consider
|
|
fighting back against corporate tyranny by not doing that.</p>
|
|
<p>
|
|
For instance, you could install a browser such as <a href="https://www.mozilla.org/en-US/firefox/new/">Firefox</a>,
|
|
which respects your freedom and supports ad blockers.
|
|
You could also disable JavaScript for this site.
|
|
</p>
|
|
`;
|
|
}
|
|
</script>
|
|
|