# HG changeset patch # User Richard Westhaver # Date 1725483721 14400 # Node ID dd0011887969df921ad446738956626679884c4f # Parent a3c65427bddeacce2e5d6249eae7516935173a40 hgsub updates diff -r a3c65427bdde -r dd0011887969 .hgsub --- a/.hgsub Tue Aug 27 21:35:44 2024 -0400 +++ b/.hgsub Wed Sep 04 17:02:01 2024 -0400 @@ -1,5 +1,5 @@ -blog=https://vc.compiler.company/comp/blog -docs=https://vc.compiler.company/comp/docs -notes=https://vc.compiler.company/comp/notes -plan=https://vc.compiler.company/comp/plan -meta=https://vc.compiler.company/comp/meta \ No newline at end of file +blog=https://vc.compiler.company/blog +docs=https://vc.compiler.company/docs +notes=https://vc.compiler.company/notes +plan=https://vc.compiler.company/plan +meta=https://vc.compiler.company/meta \ No newline at end of file diff -r a3c65427bdde -r dd0011887969 .hgsubstate --- a/.hgsubstate Tue Aug 27 21:35:44 2024 -0400 +++ b/.hgsubstate Wed Sep 04 17:02:01 2024 -0400 @@ -1,5 +1,5 @@ -3e5bf3bfe44a352752966590023cfb11d33f5d5f blog -478286afc620868a13b2b255b461f6dcf5c3d10b docs -4728f14839e42129684061f178cd36018cf235ac meta -a04ca5a66178e77d78d645a4ec95f807e303b530 notes -fd32bff88de602342b455abf50608610f2bef3cf plan +1eeeb41ba71d380f5fcf49d83ffd40df32ffd44e blog +ac162428d5e349407a391c42dead8c962c210d20 docs +06698c6708de4ceb841da1e646c89a4072b2357e meta +45ac54093c0925fde93384addb414d9d654ba706 notes +e08c4d391e95931a3dff0bc0a36e0b54578e0f61 plan diff -r a3c65427bdde -r dd0011887969 clean.theme --- a/clean.theme Tue Aug 27 21:35:44 2024 -0400 +++ b/clean.theme Wed Sep 04 17:02:01 2024 -0400 @@ -1,3 +1,6 @@ +:PROPERTIES: +:ID: d31224e1-4ef6-44f9-8350-4f890735f164 +:END: ; -*- mode: org -*- #+STARTUP: entitiespretty #+language: ulang @@ -359,7 +362,20 @@ #+HTML_HEAD: text-align: left; #+HTML_HEAD: backdrop-filter: blur(6px); #+HTML_HEAD: } - +#+HTML_HEAD: #org-div-home-and-up { +#+HTML_HEAD: display: inline-flex; +#+HTML_HEAD: } +#+HTML_HEAD: button { +#+HTML_HEAD: border: none; +#+HTML_HEAD: background-color: inherit; +#+HTML_HEAD: color: silver; +#+HTML_HEAD: font-size: 16px; +#+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: /* table of content */ # #+HTML_HEAD: nav, #table-of-contents { # #+HTML_HEAD: cursor: pointer;