1.1--- a/clean.theme	Fri Jun 07 22:18:39 2024 -0400
     1.2+++ b/clean.theme	Sat Jun 08 00:23:41 2024 -0400
     1.3@@ -57,7 +57,7 @@
     1.4 # #+HTML_HEAD:     -moz-osx-font-smoothing: grayscale;
     1.5 # #+HTML_HEAD:     font-feature-settings: "ss01", "ss03", "ss04", "ss05";
     1.6 #+HTML_HEAD:     color:  #EFFAF9;
     1.7-#+HTML_HEAD:     background-color: #3F3F37;
     1.8+#+HTML_HEAD:     background-color: #0C0F0A;
     1.9 #+HTML_HEAD: }
    1.10 
    1.11 #+HTML_HEAD: div.status {
    1.12@@ -143,7 +143,7 @@
    1.13 #+HTML_HEAD: code {
    1.14 #+HTML_HEAD:   font-family:  monospace;
    1.15 #+HTML_HEAD:   color:  #EDF060;
    1.16-#+HTML_HEAD:   background-color:  #3F3F37;
    1.17+#+HTML_HEAD:   background-color:  #303330;
    1.18 #+HTML_HEAD: }
    1.19 #+HTML_HEAD: code:before, code:after {
    1.20 #+HTML_HEAD:     content:  "=";
    1.21@@ -162,16 +162,22 @@
    1.22 #+HTML_HEAD:     margin:  0 0 14px;
    1.23 #+HTML_HEAD:     padding:  15px;
    1.24 #+HTML_HEAD:     border-radius:  3px 3px 3px 3px;
    1.25-#+HTML_HEAD:     background-color:  #3F3F37;
    1.26+#+HTML_HEAD:     background-color:  #303030;
    1.27 # #+HTML_HEAD:     word-break:  break-all;
    1.28 # #+HTML_HEAD:     word-wrap:  break-word;
    1.29 #+HTML_HEAD: }
    1.30+#+HTML_HEAD: 
    1.31 #+HTML_HEAD: blockquote {
    1.32 #+HTML_HEAD:     padding:  0 0 0 20px;
    1.33 #+HTML_HEAD:     margin:  0 30px 20px -22.5px;
    1.34 #+HTML_HEAD:     color:  #EDF060;
    1.35 #+HTML_HEAD:     border-left:  8px solid #e5e5e5;
    1.36 #+HTML_HEAD: }
    1.37+
    1.38+#+HTML_HEAD: pre.example {
    1.39+#+HTML_HEAD:     border-left:  8px solid #493657;
    1.40+#+HTML_HEAD: }
    1.41+
    1.42 #+HTML_HEAD: blockquote p: last-child {
    1.43 #+HTML_HEAD:     margin-bottom:  0;
    1.44 #+HTML_HEAD: }
    1.45@@ -350,11 +356,32 @@
    1.46 #+HTML_HEAD: }
    1.47 #+HTML_HEAD: 
    1.48 #+HTML_HEAD: /* nav */
    1.49-#+HTML_HEAD: div.nav {
    1.50+#+HTML_HEAD: div #nav {
    1.51+#+HTML_HEAD:   z-index: 10;
    1.52+#+HTML_HEAD:   top:  0.2em;
    1.53+#+HTML_HEAD:   left: 0.2em;
    1.54 #+HTML_HEAD:   text-align: left;
    1.55 #+HTML_HEAD:   font-size: 1.2rem;
    1.56 #+HTML_HEAD:   cursor: pointer;
    1.57 #+HTML_HEAD:   position: fixed;
    1.58+#+HTML_HEAD: }
    1.59+
    1.60+#+HTML_HEAD: div #nav h2 {
    1.61+#+HTML_HEAD:   margin: 0em;
    1.62+#+HTML_HEAD: }
    1.63+
    1.64+#+HTML_HEAD: #index {
    1.65+#+HTML_HEAD:   display: block;
    1.66+#+HTML_HEAD:   text-align: left;
    1.67+#+HTML_HEAD:   color:  #DDCAD9;
    1.68+#+HTML_HEAD:   font-size: 48px;
    1.69+#+HTML_HEAD:   font-stretch: ultra-expanded;
    1.70+#+HTML_HEAD: }
    1.71+
    1.72+#+HTML_HEAD: div #text-index {
    1.73+#+HTML_HEAD:   color:  #EDF060;
    1.74+#+HTML_HEAD:   display:  none;
    1.75+#+HTML_HEAD:   text-align:  left;
    1.76 #+HTML_HEAD:   backdrop-filter: blur(6px);
    1.77 #+HTML_HEAD: }
    1.78 
    1.79@@ -373,13 +400,13 @@
    1.80 #+HTML_HEAD:     /* ensure doesn't flow off the screen when expanded */
    1.81 #+HTML_HEAD:     height:  auto;
    1.82 #+HTML_HEAD:     overflow:  auto;
    1.83-#+HTML_HEAD:     z-index:  200;
    1.84+#+HTML_HEAD:     z-index:  8;
    1.85 #+HTML_HEAD: }
    1.86 #+HTML_HEAD: 
    1.87 #+HTML_HEAD: #table-of-contents h2 {
    1.88-#+HTML_HEAD:   margin: 0.1em;
    1.89+#+HTML_HEAD:   margin: 0em;
    1.90 #+HTML_HEAD:   font-size: 48px;
    1.91-#+HTML_HEAD:   font-stretch: ultra-expanded;
    1.92+# #+HTML_HEAD:   font-stretch: ultra-expanded;
    1.93 #+HTML_HEAD: }
    1.94 #+HTML_HEAD: 
    1.95 #+HTML_HEAD: #table-of-contents ul {
    1.96@@ -522,12 +549,12 @@
    1.97 #+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
    1.98 #+HTML_HEAD:      }
    1.99 #+HTML_HEAD:  });
   1.100-# #+HTML_HEAD:  document.addEventListener('DOMContentLoaded',function() {
   1.101-# #+HTML_HEAD:      document.getElementById("preamble").onclick = function() {
   1.102-# #+HTML_HEAD:          var elem = document.getElementById("nav");
   1.103-# #+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
   1.104-# #+HTML_HEAD:      }
   1.105-# #+HTML_HEAD:  });
   1.106+#+HTML_HEAD:  document.addEventListener('DOMContentLoaded',function() {
   1.107+#+HTML_HEAD:      document.getElementById("nav").onclick = function() {
   1.108+#+HTML_HEAD:          var elem = document.getElementById("text-index");
   1.109+#+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
   1.110+#+HTML_HEAD:      }
   1.111+#+HTML_HEAD:  });
   1.112 #+HTML_HEAD:
   1.113 #+HTML_HEAD:  var url = document.location.href;
   1.114 #+HTML_HEAD:  var orgsource = url.substring(0, url.lastIndexOf("."))+".org";