From d5b8ea7fbbd52b0e98596e6d0dbbe3ebbe1f512d Mon Sep 17 00:00:00 2001
From: Tom <thomas.hodson@ecmwf.int>
Date: Mon, 26 May 2025 11:11:22 +0100
Subject: [PATCH] Fix aside arrow

---
 _sass/article.scss | 12 ++++++++++--
 _sass/base.scss    | 16 ----------------
 2 files changed, 10 insertions(+), 18 deletions(-)

diff --git a/_sass/article.scss b/_sass/article.scss
index 9b0a6b6..ec52943 100644
--- a/_sass/article.scss
+++ b/_sass/article.scss
@@ -49,17 +49,25 @@ span.icon svg {
 // My understanding is that, even in free-threaded python, we still a need a mechanism to keep track of which threads are currently bound to the interpreter because the python garbage collector can only run when no threads are bound to the interpreter. Presumably this means we would need to be careful to give the GC a chance to run every now and then but I haven't looked deeply into this aspect.
 // </details>
 
-details.aside:open > summary {
+details.aside[open] > summary {
         margin-bottom: 0.5em;
 }
 
+details.aside[open] > summary::after {
+    content: "△";
+}
+
+details.aside > summary::after {
+    content: "▽";
+    color: var(--theme-highlight-color);
+}
+
 details.aside {
     summary {
         display: flex;
         justify-content: space-between;
         font-weight: 700;
     }
-      
 
     p {
     margin: 0;
diff --git a/_sass/base.scss b/_sass/base.scss
index daf10ef..efe5eaa 100644
--- a/_sass/base.scss
+++ b/_sass/base.scss
@@ -22,32 +22,16 @@
 @font-face {
     font-family: "JetBrains Mono";
     src: url("/assets/fonts/JetBrainsMono.woff2") format("woff2");
-    font-weight: normal;
-    font-style: normal;
-
 }
 
 @font-face {
     font-family: "Inter";
     src: url("/assets/fonts/Inter.woff2") format("woff2");
-    // font-weight: normal;
-    // font-style: normal;
 }
 
-// @font-face {
-//     font-family: "Inter";
-//     src: url("/assets/fonts/Inter.woff2") format("woff2");
-//     font-weight: normal;
-//     font-style: italic;
-//     font-variation-settings: "ital" 1;
-//     font-synthesis: none;
-// }
-
 @font-face {
     font-family: "Space Grotesk";
     src: url('/assets/fonts/SpaceGrotesk.woff2') format('woff2');
-    font-weight: normal;
-    font-style: normal;
 }