| doctype html |
| html(lang="en") |
| head |
| base(href=httpRoot) |
| |
| block meta |
| include meta.pug |
| |
| block styles |
| link(href=require("vendor.css") rel="stylesheet") |
| link(href=require("main.css") rel="stylesheet") |
| style#theme |
| |
| 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")) |