diff -r 18ee3e9bf1e1 -r bf3325947b23 clean.theme
--- a/clean.theme	Wed Sep 04 17:02:33 2024 -0400
+++ b/clean.theme	Sun Sep 08 12:25:38 2024 -0400
@@ -1,6 +1,3 @@
-:PROPERTIES:
-:ID:       d31224e1-4ef6-44f9-8350-4f890735f164
-:END:
 ; -*- mode: org -*-
 #+STARTUP: entitiespretty
 #+language: ulang
@@ -8,7 +5,6 @@
 #+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark toc:t
 #+HTML_DOCTYPE: html5
 #+HTML_LINK_HOME: https://compiler.company
-#+HTML_LINK_UP: https://compiler.company
 #+LATEX_HEADER: \usepackage{placeins}
 #+LATEX_HEADER: \usepackage{parskip}
 #+LATEX_HEADER: \usepackage{xcolor}
@@ -373,9 +369,10 @@
 #+HTML_HEAD:   cursor: pointer;
 #+HTML_HEAD: }
 #+HTML_HEAD: button:hover {background: #3F3F37; color:#EDF060;}
-#+HTML_HEAD: .show {text-decoration: overline; float:right;}
-#+HTML_HEAD: .hide {text-decoration: underline; float:right; text-underline-offset:0.2em;}
-#+HTML_HEAD: .home {text-decoration: overline; float:left; font-size:24px;}
+#+HTML_HEAD: .show {float:right;}
+#+HTML_HEAD: .hide {float:right;}
+#+HTML_HEAD: .home {float:left; font-size:24px;}
+#+HTML_HEAD: .up {float:left; font-size:24px;}
 # #+HTML_HEAD: /* table of content */
 # #+HTML_HEAD: nav, #table-of-contents {
 # #+HTML_HEAD:   cursor: pointer;