<!DOCTYPE html> <html lang="{{ site.lang | default: "en-US" }}"> {% include head.html %} <body> <a id="skip-to-content" href="#content">Skip to the content.</a> {% include header.html %} <main id="content" class="main-content" role="main"> {% if site.warning != none %} <div id="unpublished-warning"> This is the {{site.quarter}} {{site.status}} draft website. </div> {% endif %} {{ content }} {% include footer.html %} </main> <script src="{{ '/assets/js/bootstrap.min.js' | relative_url}}"></script> <script type="text/javascript" src="{{site.mermaid}}"></script> <link rel="stylesheet" href="{{ '/assets/css/mermaid.css' | relative_url }}"> <script> var config = { logLevel:1, cloneCssStyles:false, useMaxWidth:true, startOnLoad:true, callback:function(id){ console.log(id,' rendered'); }, flowchart:{ curve:'linear', fontSize:20, useMaxWidth:true, }, }; mermaid.initialize(config); </script> {% if site.google_analytics %} <script> (function (i, s, o, g, r, a, m) { i['GoogleAnalyticsObject'] = r; i[r] = i[r] || function () { (i[r].q = i[r].q || []).push(arguments) }, i[r].l = 1 * new Date(); a = s.createElement(o), m = s.getElementsByTagName(o)[0]; a.async = 1; a.src = g; m.parentNode.insertBefore(a, m) })(window, document, 'script', '//www.google-analytics.com/analytics.js', 'ga'); ga('create', '{{ site.google_analytics }}', 'auto'); ga('send', 'pageview'); </script> {% endif %} </body> </html>