1.1--- a/clean.theme	Wed Sep 04 17:02:33 2024 -0400
     1.2+++ b/clean.theme	Sun Sep 08 12:25:38 2024 -0400
     1.3@@ -1,6 +1,3 @@
     1.4-:PROPERTIES:
     1.5-:ID:       d31224e1-4ef6-44f9-8350-4f890735f164
     1.6-:END:
     1.7 ; -*- mode: org -*-
     1.8 #+STARTUP: entitiespretty
     1.9 #+language: ulang
    1.10@@ -8,7 +5,6 @@
    1.11 #+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark toc:t
    1.12 #+HTML_DOCTYPE: html5
    1.13 #+HTML_LINK_HOME: https://compiler.company
    1.14-#+HTML_LINK_UP: https://compiler.company
    1.15 #+LATEX_HEADER: \usepackage{placeins}
    1.16 #+LATEX_HEADER: \usepackage{parskip}
    1.17 #+LATEX_HEADER: \usepackage{xcolor}
    1.18@@ -373,9 +369,10 @@
    1.19 #+HTML_HEAD:   cursor: pointer;
    1.20 #+HTML_HEAD: }
    1.21 #+HTML_HEAD: button:hover {background: #3F3F37; color:#EDF060;}
    1.22-#+HTML_HEAD: .show {text-decoration: overline; float:right;}
    1.23-#+HTML_HEAD: .hide {text-decoration: underline; float:right; text-underline-offset:0.2em;}
    1.24-#+HTML_HEAD: .home {text-decoration: overline; float:left; font-size:24px;}
    1.25+#+HTML_HEAD: .show {float:right;}
    1.26+#+HTML_HEAD: .hide {float:right;}
    1.27+#+HTML_HEAD: .home {float:left; font-size:24px;}
    1.28+#+HTML_HEAD: .up {float:left; font-size:24px;}
    1.29 # #+HTML_HEAD: /* table of content */
    1.30 # #+HTML_HEAD: nav, #table-of-contents {
    1.31 # #+HTML_HEAD:   cursor: pointer;