1.1--- a/clean.theme	Thu Jun 06 23:17:45 2024 -0400
     1.2+++ b/clean.theme	Fri Jun 07 22:18:39 2024 -0400
     1.3@@ -1,5 +1,6 @@
     1.4 ; -*- mode: org -*-
     1.5 #+STARTUP: entitiespretty
     1.6+#+language: ulang
     1.7 #+DATE: {{{modification-time("%F %r", t)}}}
     1.8 #+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark
     1.9 #+BIND: org-html-self-link-headlines t
    1.10@@ -15,6 +16,8 @@
    1.11 #+LATEX_HEADER: \renewcommand{\cftsecleader}{\cftdotfill{\cftdotsep}}
    1.12 #+LATEX_HEADER: \hypersetup{colorlinks, citecolor=red,filecolor=magenta,linkcolor=magenta,urlcolor=magenta}
    1.13 
    1.14+#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/css/htmlize.css" />
    1.15+
    1.16 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/commit-mono.css" />
    1.17 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/3270.css" />
    1.18 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/pragmata-pro.css" />
    1.19@@ -49,22 +52,23 @@
    1.20 #+HTML_HEAD: }
    1.21 #+HTML_HEAD: body {
    1.22 #+HTML_HEAD:     font-family:  "CommitMono", monospace;
    1.23-# #+HTML_HEAD:     font-size:  14px;
    1.24-#+HTML_HEAD:     -webkit-font-smoothing: antialiased;
    1.25-#+HTML_HEAD:     -moz-osx-font-smoothing: grayscale;
    1.26-#+HTML_HEAD:     font-feature-settings: "ss01", "ss03", "ss04", "ss05";
    1.27+#+HTML_HEAD:     font-size:  14px;
    1.28+# #+HTML_HEAD:     -webkit-font-smoothing: antialiased;
    1.29+# #+HTML_HEAD:     -moz-osx-font-smoothing: grayscale;
    1.30+# #+HTML_HEAD:     font-feature-settings: "ss01", "ss03", "ss04", "ss05";
    1.31 #+HTML_HEAD:     color:  #EFFAF9;
    1.32 #+HTML_HEAD:     background-color: #3F3F37;
    1.33 #+HTML_HEAD: }
    1.34+
    1.35 #+HTML_HEAD: div.status {
    1.36-#+HTML_HEAD:     position: sticky;
    1.37-#+HTML_HEAD:     left: 0em;
    1.38+# #+HTML_HEAD:     position: fixed;
    1.39+# #+HTML_HEAD:     margin: 0.2em;
    1.40 #+HTML_HEAD:     text-align: center;
    1.41 #+HTML_HEAD: }
    1.42+
    1.43 #+HTML_HEAD: h1, h2, h3, h4, h5, h6 {
    1.44 #+HTML_HEAD:     position:  relative;
    1.45-#+HTML_HEAD:     margin:  30px 0 20px;
    1.46-#+HTML_HEAD:     font-size:  18px;
    1.47+#+HTML_HEAD:     margin:  16px 0 8px;
    1.48 #+HTML_HEAD:     font-weight:  bold;
    1.49 #+HTML_HEAD:     line-height:  1.1;
    1.50 #+HTML_HEAD:     color:  #DDCAD9;
    1.51@@ -75,6 +79,7 @@
    1.52 #+HTML_HEAD:     top:  auto;
    1.53 #+HTML_HEAD:     color:  #DDCAD9;
    1.54 #+HTML_HEAD:     display:  none;
    1.55+#+HTML_HEAD:     text-align: left;
    1.56 #+HTML_HEAD: }
    1.57 #+HTML_HEAD: h1:before {
    1.58 #+HTML_HEAD:     content:  "";
    1.59@@ -217,13 +222,12 @@
    1.60 #+HTML_HEAD: td, th {
    1.61 #+HTML_HEAD:   border: 1px solid lightsteelblue;
    1.62 #+HTML_HEAD:   border-style: outset;
    1.63-#+COMMENT: #+HTML_HEAD:   display: inline-flex;
    1.64 #+HTML_HEAD: }
    1.65-#+HTML_HEAD: /******************************************************/
    1.66+
    1.67 #+HTML_HEAD: /* body */
    1.68 #+HTML_HEAD: body {
    1.69 #+HTML_HEAD:     margin:  auto auto;
    1.70-#+HTML_HEAD:     max-width:  90%;
    1.71+#+HTML_HEAD:     max-width:  98%;
    1.72 #+HTML_HEAD: }
    1.73 #+HTML_HEAD: /* head */
    1.74 #+HTML_HEAD: .masthead {
    1.75@@ -345,32 +349,43 @@
    1.76 #+HTML_HEAD:     color:  #EDF060;
    1.77 #+HTML_HEAD: }
    1.78 #+HTML_HEAD: 
    1.79+#+HTML_HEAD: /* nav */
    1.80+#+HTML_HEAD: div.nav {
    1.81+#+HTML_HEAD:   text-align: left;
    1.82+#+HTML_HEAD:   font-size: 1.2rem;
    1.83+#+HTML_HEAD:   cursor: pointer;
    1.84+#+HTML_HEAD:   position: fixed;
    1.85+#+HTML_HEAD:   backdrop-filter: blur(6px);
    1.86+#+HTML_HEAD: }
    1.87+
    1.88 #+HTML_HEAD: /* table of content */
    1.89 #+HTML_HEAD: #table-of-contents {
    1.90-#+HTML_HEAD:     backdrop-filter: blur(6px);
    1.91+#+HTML_HEAD:   cursor: pointer;
    1.92 #+HTML_HEAD:     position:  fixed;
    1.93-#+HTML_HEAD:     right:  0em;
    1.94-#+HTML_HEAD:     top:  0em;
    1.95-#+HTML_HEAD:     border: 1px solid #e1e1e8;
    1.96-#+HTML_HEAD:     -webkit-box-shadow:  0 0 1em #777777;
    1.97-#+HTML_HEAD:     -moz-box-shadow:  0 0 1em #777777;
    1.98-#+HTML_HEAD:     -webkit-border-bottom-left-radius:  5px;
    1.99-#+HTML_HEAD:     -moz-border-radius-bottomleft:  5px;
   1.100-#+HTML_HEAD:     text-align:  center;
   1.101+#+HTML_HEAD:     right:  0.2em;
   1.102+#+HTML_HEAD:     top:  0.2em;
   1.103+# #+HTML_HEAD:     border: 1px solid #e1e1e8;
   1.104+# #+HTML_HEAD:     -webkit-box-shadow:  0 0 1em #777777;
   1.105+# #+HTML_HEAD:     -moz-box-shadow:  0 0 1em #777777;
   1.106+# #+HTML_HEAD:     -webkit-border-bottom-left-radius:  5px;
   1.107+# #+HTML_HEAD:     -moz-border-radius-bottomleft:  5px;
   1.108+#+HTML_HEAD:     text-align:  right;
   1.109 #+HTML_HEAD:     /* ensure doesn't flow off the screen when expanded */
   1.110-#+HTML_HEAD:     max-height:  80%;
   1.111+#+HTML_HEAD:     height:  auto;
   1.112 #+HTML_HEAD:     overflow:  auto;
   1.113 #+HTML_HEAD:     z-index:  200;
   1.114 #+HTML_HEAD: }
   1.115 #+HTML_HEAD: 
   1.116 #+HTML_HEAD: #table-of-contents h2 {
   1.117-#+HTML_HEAD:   cursor: pointer;
   1.118+#+HTML_HEAD:   margin: 0.1em;
   1.119+#+HTML_HEAD:   font-size: 48px;
   1.120+#+HTML_HEAD:   font-stretch: ultra-expanded;
   1.121 #+HTML_HEAD: }
   1.122 #+HTML_HEAD: 
   1.123 #+HTML_HEAD: #table-of-contents ul {
   1.124-#+HTML_HEAD:     margin-left:  14pt;
   1.125-#+HTML_HEAD:     margin-bottom:  10pt;
   1.126-#+HTML_HEAD:     padding:  0
   1.127+#+HTML_HEAD:   margin-left:  14pt;
   1.128+#+HTML_HEAD:   margin-bottom:  10pt;
   1.129+#+HTML_HEAD:   padding:  0
   1.130 #+HTML_HEAD: }
   1.131 #+HTML_HEAD: 
   1.132 #+HTML_HEAD: #table-of-contents li {
   1.133@@ -378,14 +393,16 @@
   1.134 #+HTML_HEAD:     margin:  1px;
   1.135 #+HTML_HEAD:     list-style:  none;
   1.136 #+HTML_HEAD: }
   1.137-#+HTML_HEAD: 
   1.138-#+HTML_HEAD: #table-of-contents ul>: first-child {
   1.139-#+HTML_HEAD:     color:  #EDF060;
   1.140+
   1.141+#+HTML_HEAD: #table-of-contents li a {
   1.142+#+HTML_HEAD:     font-size:  16px;
   1.143 #+HTML_HEAD: }
   1.144 #+HTML_HEAD: 
   1.145 #+HTML_HEAD: #table-of-contents #text-table-of-contents {
   1.146-#+HTML_HEAD:     display:  none;
   1.147-#+HTML_HEAD:     text-align:  left;
   1.148+#+HTML_HEAD:   backdrop-filter: blur(6px);
   1.149+#+HTML_HEAD:   display:  none;
   1.150+#+HTML_HEAD:   text-align:  left;
   1.151+#+HTML_HEAD:   padding-right: 0.1em;
   1.152 #+HTML_HEAD: }
   1.153 #+HTML_HEAD: 
   1.154 #+HTML_HEAD: #table-of-contents: hover #text-table-of-contents {
   1.155@@ -453,12 +470,41 @@
   1.156 #+HTML_HEAD: }
   1.157 #+HTML_HEAD:
   1.158 #+HTML_HEAD: .outline-2, .outline-3, .outline-4, .outline-5 {
   1.159-#+HTML_HEAD:   padding-left: 1em;
   1.160+# #+HTML_HEAD:   padding-left: 1em;
   1.161+#+HTML_HEAD: }
   1.162+
   1.163+#+HTML_HEAD: .outline-2 {
   1.164+#+HTML_HEAD:   padding-top: 1.8em;
   1.165+#+HTML_HEAD: }
   1.166+
   1.167+#+HTML_HEAD: .org-dl {
   1.168+#+HTML_HEAD:   
   1.169+#+HTML_HEAD: }
   1.170+
   1.171+#+HTML_HEAD: .org-dl dt {
   1.172+#+HTML_HEAD:   font-weight: bold;
   1.173 #+HTML_HEAD: }
   1.174+
   1.175+#+HTML_HEAD: .org-dl dt::after {
   1.176+#+HTML_HEAD:   content: " :: ";
   1.177+#+HTML_HEAD: }
   1.178+
   1.179+#+HTML_HEAD: .org-dl dd::before {
   1.180+#+HTML_HEAD:   font-size: xx-large;
   1.181+#+HTML_HEAD:   content: "  ↳ ";
   1.182+#+HTML_HEAD: }
   1.183+
   1.184+#+HTML_HEAD: .org-dl dd {
   1.185+#+HTML_HEAD:   font-size: 0.9rem;
   1.186+#+HTML_HEAD:   margin-bottom: 0.5em;
   1.187+#+HTML_HEAD:   margin-left: 2em;
   1.188+#+HTML_HEAD: }
   1.189+
   1.190 #+HTML_HEAD: .title {
   1.191 #+HTML_HEAD:   text-align: center;
   1.192+#+HTML_HEAD:   padding-top: 1.8em;
   1.193 #+HTML_HEAD: }
   1.194-#+HTML_HEAD: 
   1.195+
   1.196 #+HTML_HEAD: .status {
   1.197 #+HTML_HEAD:   position: absolute;
   1.198 #+HTML_HEAD:   left: 1em;
   1.199@@ -476,9 +522,15 @@
   1.200 #+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
   1.201 #+HTML_HEAD:      }
   1.202 #+HTML_HEAD:  });
   1.203+# #+HTML_HEAD:  document.addEventListener('DOMContentLoaded',function() {
   1.204+# #+HTML_HEAD:      document.getElementById("preamble").onclick = function() {
   1.205+# #+HTML_HEAD:          var elem = document.getElementById("nav");
   1.206+# #+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
   1.207+# #+HTML_HEAD:      }
   1.208+# #+HTML_HEAD:  });
   1.209 #+HTML_HEAD:
   1.210 #+HTML_HEAD:  var url = document.location.href;
   1.211-#+HTML_HEAD:  var orgsource = url.substring(0, url.lastIndexOf("."))+".org.html";
   1.212+#+HTML_HEAD:  var orgsource = url.substring(0, url.lastIndexOf("."))+".org";
   1.213 #+HTML_HEAD:  function show_org_source(){
   1.214 #+HTML_HEAD:      document.location.href = orgsource;
   1.215 #+HTML_HEAD:  }