1.1--- a/clean.theme Sun Aug 25 00:15:40 2024 -0400
1.2+++ b/clean.theme Tue Aug 27 21:35:44 2024 -0400
1.3@@ -2,8 +2,10 @@
1.4 #+STARTUP: entitiespretty
1.5 #+language: ulang
1.6 #+DATE: {{{modification-time("%F %r", t)}}}
1.7-#+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark toc:nil
1.8+#+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark toc:t
1.9 #+HTML_DOCTYPE: html5
1.10+#+HTML_LINK_HOME: https://compiler.company
1.11+#+HTML_LINK_UP: https://compiler.company
1.12 #+LATEX_HEADER: \usepackage{placeins}
1.13 #+LATEX_HEADER: \usepackage{parskip}
1.14 #+LATEX_HEADER: \usepackage{xcolor}
1.15@@ -18,57 +20,31 @@
1.16 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/3270.css" />
1.17 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/pragmata-pro.css" />
1.18
1.19-#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/css/htmlize.css" />
1.20+#+HTML_HEAD_EXTRA: <script type="text/javascript" src="https://cdn.compiler.company/js/jquery.min.js"></script>
1.21+#+HTML_HEAD_EXTRA: <script type="text/javascript" src="https://cdn.compiler.company/js/esquemadorg.js"></script>
1.22
1.23-#+HTML_HEAD: <style type="text/css">
1.24-#+HTML_HEAD:
1.25-#+HTML_HEAD: *,
1.26-#+HTML_HEAD: *::before,
1.27-#+HTML_HEAD: *::after {
1.28-#+HTML_HEAD: box-sizing: border-box;
1.29-#+HTML_HEAD: margin: 0;
1.30-#+HTML_HEAD: padding: 0;
1.31-#+HTML_HEAD: }
1.32-#+HTML_HEAD: :root {
1.33-#+HTML_HEAD: --text: #111;
1.34-#+HTML_HEAD: --middle: #555;
1.35-#+HTML_HEAD: --bg: #aaa;
1.36-#+HTML_HEAD: --max-width: 54ch;
1.37-#+HTML_HEAD: font-size: 16px;
1.38-#+HTML_HEAD: }
1.39-#+HTML_HEAD: /* @media (prefers-color-scheme: dark) {
1.40-#+HTML_HEAD: :root {
1.41-#+HTML_HEAD: --text: #aaa;
1.42-#+HTML_HEAD: --middle: #555;
1.43-#+HTML_HEAD: --bg: #111;
1.44-#+HTML_HEAD: }
1.45-#+HTML_HEAD: } */
1.46-#+HTML_HEAD: * {
1.47-#+HTML_HEAD: -webkit-box-sizing: border-box;
1.48-#+HTML_HEAD: -moz-box-sizing: border-box;
1.49-#+HTML_HEAD: box-sizing: border-box;
1.50-#+HTML_HEAD: }
1.51+#+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/css/htmlize.css" />
1.52+#+HTML_HEAD: <style type="text/css">
1.53 #+HTML_HEAD: body {
1.54 #+HTML_HEAD: font-family: "CommitMono", monospace;
1.55-#+HTML_HEAD: font-size: 14px;
1.56-# #+HTML_HEAD: -webkit-font-smoothing: antialiased;
1.57-# #+HTML_HEAD: -moz-osx-font-smoothing: grayscale;
1.58-# #+HTML_HEAD: font-feature-settings: "ss01", "ss03", "ss04", "ss05";
1.59+#+HTML_HEAD: -webkit-font-smoothing: antialiased;
1.60+#+HTML_HEAD: -moz-osx-font-smoothing: grayscale;
1.61+#+HTML_HEAD: font-feature-settings: "ss01", "ss03", "ss04", "ss05";
1.62 #+HTML_HEAD: color: #EFFAF9;
1.63 #+HTML_HEAD: background-color: #0C0F0A;
1.64 #+HTML_HEAD: }
1.65
1.66 #+HTML_HEAD: div.status {
1.67-# #+HTML_HEAD: position: fixed;
1.68+#+HTML_HEAD: position: fixed;
1.69 # #+HTML_HEAD: margin: 0.2em;
1.70 #+HTML_HEAD: text-align: center;
1.71 #+HTML_HEAD: }
1.72
1.73 #+HTML_HEAD: h1, h2, h3, h4, h5, h6 {
1.74 #+HTML_HEAD: position: relative;
1.75-#+HTML_HEAD: margin: 16px 0 8px;
1.76+# #+HTML_HEAD: margin: 16px 0 8px;
1.77 #+HTML_HEAD: font-weight: bold;
1.78-#+HTML_HEAD: line-height: 1.1;
1.79+# #+HTML_HEAD: line-height: 1.1;
1.80 #+HTML_HEAD: color: #DDCAD9;
1.81 #+HTML_HEAD: text-rendering: optimizeLegibility;
1.82 #+HTML_HEAD: }
1.83@@ -232,7 +208,7 @@
1.84 #+HTML_HEAD: /* body */
1.85 #+HTML_HEAD: body {
1.86 #+HTML_HEAD: margin: auto auto;
1.87-#+HTML_HEAD: max-width: 98%;
1.88+# #+HTML_HEAD: max-width: 98%;
1.89 #+HTML_HEAD: }
1.90 #+HTML_HEAD: /* head */
1.91 #+HTML_HEAD: .masthead {
1.92@@ -241,7 +217,7 @@
1.93 #+HTML_HEAD: .masthead: after {
1.94 #+HTML_HEAD: display: block;
1.95 #+HTML_HEAD: content: '----------------------------------------------------------------';
1.96-#+HTML_HEAD: margin: 10px 0;
1.97+# #+HTML_HEAD: margin: 10px 0;
1.98 #+HTML_HEAD: color: #EDF060;
1.99 #+HTML_HEAD: }
1.100 #+HTML_HEAD: .masthead a {
1.101@@ -384,59 +360,59 @@
1.102 #+HTML_HEAD: backdrop-filter: blur(6px);
1.103 #+HTML_HEAD: }
1.104
1.105-#+HTML_HEAD: /* table of content */
1.106-#+HTML_HEAD: nav, #table-of-contents {
1.107-#+HTML_HEAD: cursor: pointer;
1.108-#+HTML_HEAD: position: fixed;
1.109-#+HTML_HEAD: right: 0.2em;
1.110-#+HTML_HEAD: top: 0.2em;
1.111+# #+HTML_HEAD: /* table of content */
1.112+# #+HTML_HEAD: nav, #table-of-contents {
1.113+# #+HTML_HEAD: cursor: pointer;
1.114+# #+HTML_HEAD: position: fixed;
1.115+# #+HTML_HEAD: right: 0.2em;
1.116+# #+HTML_HEAD: top: 0.2em;
1.117 # #+HTML_HEAD: border: 1px solid #e1e1e8;
1.118-#+HTML_HEAD: -webkit-box-shadow: 0 0 1em #777777;
1.119-#+HTML_HEAD: -moz-box-shadow: 0 0 1em #777777;
1.120-#+HTML_HEAD: -webkit-border-bottom-left-radius: 5px;
1.121-#+HTML_HEAD: -moz-border-radius-bottomleft: 5px;
1.122-#+HTML_HEAD: text-align: right;
1.123-#+HTML_HEAD: /* ensure doesn't flow off the screen when expanded */
1.124-#+HTML_HEAD: height: auto;
1.125+# #+HTML_HEAD: -webkit-box-shadow: 0 0 1em #777777;
1.126+# #+HTML_HEAD: -moz-box-shadow: 0 0 1em #777777;
1.127+# #+HTML_HEAD: -webkit-border-bottom-left-radius: 5px;
1.128+# #+HTML_HEAD: -moz-border-radius-bottomleft: 5px;
1.129+# #+HTML_HEAD: text-align: right;
1.130+# #+HTML_HEAD: /* ensure doesn't flow off the screen when expanded */
1.131+# #+HTML_HEAD: height: auto;
1.132 # #+HTML_HEAD: overflow-y: scroll;
1.133-#+HTML_HEAD: z-index: 11;
1.134-#+HTML_HEAD: }
1.135-#+HTML_HEAD:
1.136-#+HTML_HEAD: #table-of-contents h2 {
1.137-#+HTML_HEAD: margin: 0em;
1.138-#+HTML_HEAD: font-size: 48px;
1.139+# #+HTML_HEAD: z-index: 11;
1.140+# #+HTML_HEAD: }
1.141+# #+HTML_HEAD:
1.142+# #+HTML_HEAD: #table-of-contents h2 {
1.143+# #+HTML_HEAD: margin: 0em;
1.144+# #+HTML_HEAD: font-size: 48px;
1.145 # #+HTML_HEAD: font-stretch: ultra-expanded;
1.146-#+HTML_HEAD: }
1.147+# #+HTML_HEAD: }
1.148 #+HTML_HEAD:
1.149-#+HTML_HEAD: #table-of-contents ul {
1.150-#+HTML_HEAD: margin-left: 14pt;
1.151-#+HTML_HEAD: margin-bottom: 10pt;
1.152-#+HTML_HEAD: padding: 0
1.153-#+HTML_HEAD: }
1.154+# #+HTML_HEAD: #table-of-contents ul {
1.155+# #+HTML_HEAD: margin-left: 14pt;
1.156+# #+HTML_HEAD: margin-bottom: 10pt;
1.157+# #+HTML_HEAD: padding: 0
1.158+# #+HTML_HEAD: }
1.159 #+HTML_HEAD:
1.160-#+HTML_HEAD: #table-of-contents li {
1.161-#+HTML_HEAD: padding: 0;
1.162-#+HTML_HEAD: margin: 1px;
1.163-#+HTML_HEAD: list-style: none;
1.164-#+HTML_HEAD: }
1.165+# #+HTML_HEAD: #table-of-contents li {
1.166+# #+HTML_HEAD: padding: 0;
1.167+# #+HTML_HEAD: margin: 1px;
1.168+# #+HTML_HEAD: list-style: none;
1.169+# #+HTML_HEAD: }
1.170
1.171-#+HTML_HEAD: #table-of-contents li a {
1.172-#+HTML_HEAD: font-size: 16px;
1.173-#+HTML_HEAD: }
1.174-#+HTML_HEAD:
1.175-#+HTML_HEAD: #table-of-contents #text-table-of-contents {
1.176-#+HTML_HEAD: backdrop-filter: blur(6px);
1.177-#+HTML_HEAD: display: none;
1.178-#+HTML_HEAD: text-align: left;
1.179-#+HTML_HEAD: padding-right: 0.1em;
1.180-#+HTML_HEAD: }
1.181-#+HTML_HEAD:
1.182-#+HTML_HEAD: #table-of-contents: hover #text-table-of-contents {
1.183-#+HTML_HEAD: display: block;
1.184-#+HTML_HEAD: padding: 0.5em;
1.185-#+HTML_HEAD: margin-top: -1.5em;
1.186-#+HTML_HEAD: }
1.187-#+HTML_HEAD:
1.188+# #+HTML_HEAD: #table-of-contents li a {
1.189+# #+HTML_HEAD: font-size: 16px;
1.190+# #+HTML_HEAD: }
1.191+# #+HTML_HEAD:
1.192+# #+HTML_HEAD: #table-of-contents #text-table-of-contents {
1.193+# #+HTML_HEAD: backdrop-filter: blur(6px);
1.194+# #+HTML_HEAD: display: none;
1.195+# #+HTML_HEAD: text-align: left;
1.196+# #+HTML_HEAD: padding-right: 0.1em;
1.197+# #+HTML_HEAD: }
1.198+# #+HTML_HEAD:
1.199+# #+HTML_HEAD: #table-of-contents: hover #text-table-of-contents {
1.200+# #+HTML_HEAD: display: block;
1.201+# #+HTML_HEAD: padding: 0.5em;
1.202+# #+HTML_HEAD: margin-top: -1.5em;
1.203+# #+HTML_HEAD: }
1.204+# #+HTML_HEAD:
1.205 #+HTML_HEAD: /* footer */
1.206 #+HTML_HEAD: .footer {
1.207 #+HTML_HEAD: margin: 80px 0 0;
1.208@@ -499,9 +475,9 @@
1.209 # #+HTML_HEAD: padding-left: 1em;
1.210 #+HTML_HEAD: }
1.211
1.212-#+HTML_HEAD: .outline-2 {
1.213-#+HTML_HEAD: padding-top: 1.8em;
1.214-#+HTML_HEAD: }
1.215+# #+HTML_HEAD: .outline-2 {
1.216+# #+HTML_HEAD: padding-top: 1.8em;
1.217+# #+HTML_HEAD: }
1.218
1.219 #+HTML_HEAD: .org-dl {
1.220 #+HTML_HEAD:
1.221@@ -528,7 +504,7 @@
1.222
1.223 #+HTML_HEAD: .title {
1.224 #+HTML_HEAD: text-align: center;
1.225-#+HTML_HEAD: padding-top: 1.8em;
1.226+# #+HTML_HEAD: padding-top: 1.8em;
1.227 #+HTML_HEAD: }
1.228
1.229 #+HTML_HEAD: div#postamble.status {
1.230@@ -687,18 +663,18 @@
1.231 #+HTML_HEAD:
1.232 #+HTML_HEAD: </style>
1.233 #+HTML_HEAD:<script type="text/javascript">
1.234-#+HTML_HEAD: document.addEventListener('DOMContentLoaded',function() {
1.235-#+HTML_HEAD: document.getElementById("table-of-contents").onclick = function() {
1.236-#+HTML_HEAD: var elem = document.getElementById("text-table-of-contents");
1.237-#+HTML_HEAD: elem.style.display = elem.style.display == "block" ? "none" : "block";
1.238-#+HTML_HEAD: }
1.239-#+HTML_HEAD: });
1.240-#+HTML_HEAD: document.addEventListener('DOMContentLoaded',function() {
1.241-#+HTML_HEAD: document.getElementById("nav").onclick = function() {
1.242-#+HTML_HEAD: var elem = document.getElementById("text-index");
1.243-#+HTML_HEAD: elem.style.display = elem.style.display == "block" ? "none" : "block";
1.244-#+HTML_HEAD: }
1.245-#+HTML_HEAD: });
1.246+# #+HTML_HEAD: document.addEventListener('DOMContentLoaded',function() {
1.247+# #+HTML_HEAD: document.getElementById("table-of-contents").onclick = function() {
1.248+# #+HTML_HEAD: var elem = document.getElementById("text-table-of-contents");
1.249+# #+HTML_HEAD: elem.style.display = elem.style.display == "block" ? "none" : "block";
1.250+# #+HTML_HEAD: }
1.251+# #+HTML_HEAD: });
1.252+# #+HTML_HEAD: document.addEventListener('DOMContentLoaded',function() {
1.253+# #+HTML_HEAD: document.getElementById("nav").onclick = function() {
1.254+# #+HTML_HEAD: var elem = document.getElementById("text-index");
1.255+# #+HTML_HEAD: elem.style.display = elem.style.display == "block" ? "none" : "block";
1.256+# #+HTML_HEAD: }
1.257+# #+HTML_HEAD: });
1.258 #+HTML_HEAD:
1.259 #+HTML_HEAD: var url = document.location.href;
1.260 #+HTML_HEAD: var orgsource = url.substring(0, url.lastIndexOf("."))+".org";
