Fix aside arrow

This commit is contained in:
Tom 2025-05-26 11:11:22 +01:00
parent c2f196a93a
commit d5b8ea7fbb
2 changed files with 10 additions and 18 deletions

View File

@ -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;

View File

@ -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;
}