1.1--- a/.hgsub	Tue Aug 27 21:35:44 2024 -0400
     1.2+++ b/.hgsub	Wed Sep 04 17:02:01 2024 -0400
     1.3@@ -1,5 +1,5 @@
     1.4-blog=https://vc.compiler.company/comp/blog
     1.5-docs=https://vc.compiler.company/comp/docs
     1.6-notes=https://vc.compiler.company/comp/notes
     1.7-plan=https://vc.compiler.company/comp/plan
     1.8-meta=https://vc.compiler.company/comp/meta
     1.9\ No newline at end of file
    1.10+blog=https://vc.compiler.company/blog
    1.11+docs=https://vc.compiler.company/docs
    1.12+notes=https://vc.compiler.company/notes
    1.13+plan=https://vc.compiler.company/plan
    1.14+meta=https://vc.compiler.company/meta
    1.15\ No newline at end of file

     2.1--- a/.hgsubstate	Tue Aug 27 21:35:44 2024 -0400
     2.2+++ b/.hgsubstate	Wed Sep 04 17:02:01 2024 -0400
     2.3@@ -1,5 +1,5 @@
     2.4-3e5bf3bfe44a352752966590023cfb11d33f5d5f blog
     2.5-478286afc620868a13b2b255b461f6dcf5c3d10b docs
     2.6-4728f14839e42129684061f178cd36018cf235ac meta
     2.7-a04ca5a66178e77d78d645a4ec95f807e303b530 notes
     2.8-fd32bff88de602342b455abf50608610f2bef3cf plan
     2.9+1eeeb41ba71d380f5fcf49d83ffd40df32ffd44e blog
    2.10+ac162428d5e349407a391c42dead8c962c210d20 docs
    2.11+06698c6708de4ceb841da1e646c89a4072b2357e meta
    2.12+45ac54093c0925fde93384addb414d9d654ba706 notes
    2.13+e08c4d391e95931a3dff0bc0a36e0b54578e0f61 plan

     3.1--- a/clean.theme	Tue Aug 27 21:35:44 2024 -0400
     3.2+++ b/clean.theme	Wed Sep 04 17:02:01 2024 -0400
     3.3@@ -1,3 +1,6 @@
     3.4+:PROPERTIES:
     3.5+:ID:       d31224e1-4ef6-44f9-8350-4f890735f164
     3.6+:END:
     3.7 ; -*- mode: org -*-
     3.8 #+STARTUP: entitiespretty
     3.9 #+language: ulang
    3.10@@ -359,7 +362,20 @@
    3.11 #+HTML_HEAD:   text-align:  left;
    3.12 #+HTML_HEAD:   backdrop-filter: blur(6px);
    3.13 #+HTML_HEAD: }
    3.14-
    3.15+#+HTML_HEAD: #org-div-home-and-up {
    3.16+#+HTML_HEAD:   display: inline-flex;
    3.17+#+HTML_HEAD: }
    3.18+#+HTML_HEAD: button {
    3.19+#+HTML_HEAD:   border: none;
    3.20+#+HTML_HEAD:   background-color: inherit;
    3.21+#+HTML_HEAD:   color: silver;
    3.22+#+HTML_HEAD:   font-size: 16px;
    3.23+#+HTML_HEAD:   cursor: pointer;
    3.24+#+HTML_HEAD: }
    3.25+#+HTML_HEAD: button:hover {background: #3F3F37; color:#EDF060;}
    3.26+#+HTML_HEAD: .show {text-decoration: overline; float:right;}
    3.27+#+HTML_HEAD: .hide {text-decoration: underline; float:right; text-underline-offset:0.2em;}
    3.28+#+HTML_HEAD: .home {text-decoration: overline; float:left; font-size:24px;}
    3.29 # #+HTML_HEAD: /* table of content */
    3.30 # #+HTML_HEAD: nav, #table-of-contents {
    3.31 # #+HTML_HEAD:   cursor: pointer;