From 951ad721205ce64f4941a17b47346d288a15094e Mon Sep 17 00:00:00 2001 From: HichemF Date: Sat, 20 Dec 2025 18:40:15 +0100 Subject: [PATCH 1/2] docs: Enhance table of contents link style with underline --- website/src/css/customTheme.scss | 1 + 1 file changed, 1 insertion(+) diff --git a/website/src/css/customTheme.scss b/website/src/css/customTheme.scss index 62f4939a944..0ded70ce8a3 100644 --- a/website/src/css/customTheme.scss +++ b/website/src/css/customTheme.scss @@ -1503,6 +1503,7 @@ div[class^="tableOfContents"] { .table-of-contents__link--active { font-weight: 500; color: var(--home-button-primary) !important; + text-decoration: underline; code { font-weight: 700; From 06860d1a260f87c6f9c3c6374ec2f2ee5ecf0015 Mon Sep 17 00:00:00 2001 From: HichemF Date: Sat, 20 Dec 2025 18:47:22 +0100 Subject: [PATCH 2/2] docs: Add underline style to table of contents items on hover --- website/src/css/customTheme.scss | 1 + 1 file changed, 1 insertion(+) diff --git a/website/src/css/customTheme.scss b/website/src/css/customTheme.scss index 0ded70ce8a3..287098d8701 100644 --- a/website/src/css/customTheme.scss +++ b/website/src/css/customTheme.scss @@ -1493,6 +1493,7 @@ div[class^="tableOfContents"] { &:hover { color: var(--home-button-primary) !important; + text-decoration: underline; code { color: var(--home-button-primary) !important;