Minor style changes

pull/2/head
Raymond Hill 4 years ago
parent 41133dffd2
commit 2d8e32c61b
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2

@ -23,7 +23,7 @@
'use strict';
CodeMirror.defineMode("raw-settings", function() {
CodeMirror.defineMode('raw-settings', function() {
return {
token: function(stream) {
if ( stream.sol() ) {

@ -26,7 +26,7 @@
// https://github.com/hackademix/noscript/commit/6e80d3f130773fc9a9123c5c4c2e97d63e90fa2a
(function() {
let html = document.documentElement;
const html = document.documentElement;
if ( html instanceof HTMLElement === false ) { return; }
let meta;
@ -45,8 +45,8 @@
//
// The CSP directive is enforced as soon as the meta tag is inserted:
// > Enforce the policy policy.
let head = document.head,
parent = head;
const head = document.head;
let parent = head;
if ( parent === null ) {
parent = document.createElement('head');
html.appendChild(parent);

Loading…
Cancel
Save