TOC refinements

2026-05-07 18:56:00 +02:00
parent 80b93127dc
commit 73743ced78
4 changed files with 21 additions and 15 deletions
@@ -238,12 +238,12 @@ main {
    max-width: 100%;
 }

-.content a.heading-anchor {
+a.heading-anchor {
    color: var(--text-muted);
    margin-right: 0.4em;
    font-weight: normal;
 }
-.content a.heading-anchor:hover {
+a.heading-anchor:hover {
    color: var(--primary-hover);
 }

@@ -550,10 +550,10 @@ hr {
    color: var(--link-hover);
 }

-.toc-h2 {
+.toc-h3 {
    padding-left: 0.8rem;
 }
-.toc-h3 {
+.toc-h4 {
    padding-left: 1.6rem;
 }