compiler-explorer/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 || 'system';
      |     if (theme === 'system') {
      |       if (window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches) {
      |         theme = 'dark';
      |       } else {
      |         theme = 'default';
      |       }
      |     }
      |     if (theme === 'darkplus' || theme === 'real-dark') {
      |       theme = 'dark';
      |     }
      |     if (theme === 'onedark') {
      |       theme = 'one-dark';
      |     }
      |     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 printstuff
        #printview Hello

    block footer
        include templates/templates

    block scripts
        div#config(extraOptions=encodeURIComponent(compilerExplorerOptions), httpRoot=httpRoot, staticRoot=staticRoot, optionsHash=optionsHash)
        script(src=require("runtime.js"))
        script(src=require("vendor.js"))
        script(src=require("main.js"))