views/_layout.pug

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"))