blob: e75113327579986555e9a6a0d27dd0d2b2813833 [file] [log] [blame] [raw]
doctype html
html(lang="en")
head
base(href=httpRoot)
block meta
include meta.pug
script
| (function () {
| var isIE11 = !!window.MSInputMethodContext && !!document.documentMode;
| var storedState = '#{storedStateId}';
| if (isIE11) {
| if (storedState) {
| location.href = '#{httpRoot}noscript/z/' + storedState;
| } else {
| location.href = '#{httpRoot}noscript';
| }
| }
| })();
block styles
link(href=require("vendor.css") rel="stylesheet")
link(href=require("main.css") rel="stylesheet")
//- partially apply theme as soon as possible to minimize the page load flashbang duration when using dark theme
script
| (function () {
| try {
| var settings = window.localStorage.getItem("!{localStoragePrefix}settings") || '{}';
| var theme = JSON.parse(settings).theme || 'default';
| document.documentElement.setAttribute('data-theme', theme);
| } catch (e) {
| document.documentElement.setAttribute('data-theme', 'default');
| }
| })();
body(class=extraBodyClass)
block content
#root
noscript
p Without Javascript the regular website is not functional. To go to the noscript version Compiler Explorer 
if storedStateId
a(href=`${httpRoot}noscript/z/${storedStateId}`) click here
else
a(href=`${httpRoot}noscript`) click here
block footer
include templates.pug
block scripts
script(src=`${httpRoot}client-options.js?hash=${optionsHash}`)
div#config(extraOptions=encodeURIComponent(compilerExplorerOptions), httpRoot=httpRoot, staticRoot=staticRoot)
script
| if (window.navigator.userAgent.indexOf("Trident/") > 0) {
| var s = document.createElement("script");
| s.src = "!{require("es6-shim.min.js")}";
| document.head.appendChild(s);
| }
script(src=require("runtime.js"))
script(src=require("vendor.js"))
script(src=require("main.js"))