From 83eabc32dd3cfe5edf3ac00eeecf455a12c37c71 Mon Sep 17 00:00:00 2001 From: Lucas Date: Mon, 3 Apr 2023 15:34:59 +0200 Subject: [PATCH 1/2] Add scrollbar to the content and sidebar --- .../resources/dotty_res/styles/theme/layout/container.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/scaladoc/resources/dotty_res/styles/theme/layout/container.css b/scaladoc/resources/dotty_res/styles/theme/layout/container.css index d71c75e8bda0..a5210210c420 100644 --- a/scaladoc/resources/dotty_res/styles/theme/layout/container.css +++ b/scaladoc/resources/dotty_res/styles/theme/layout/container.css @@ -20,6 +20,10 @@ p { } ::-webkit-scrollbar { - width: 0; + width: 5; background: transparent; } + +::-webkit-scrollbar-thumb { + background: black; +} From 93cc31d54efc988d41321430d973d1c7191a3f12 Mon Sep 17 00:00:00 2001 From: Lucas Date: Tue, 4 Apr 2023 10:32:37 +0200 Subject: [PATCH 2/2] Add scrollbar in the sidebar --- .../dotty_res/styles/theme/layout/container.css | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/scaladoc/resources/dotty_res/styles/theme/layout/container.css b/scaladoc/resources/dotty_res/styles/theme/layout/container.css index a5210210c420..849235e2fa82 100644 --- a/scaladoc/resources/dotty_res/styles/theme/layout/container.css +++ b/scaladoc/resources/dotty_res/styles/theme/layout/container.css @@ -19,11 +19,18 @@ p { --header-height: calc(8 * var(--base-spacing)); } +/* Scrollbar */ + ::-webkit-scrollbar { - width: 5; + width: 0; background: transparent; } -::-webkit-scrollbar-thumb { - background: black; +#leftColumn ::-webkit-scrollbar{ + width: 5px; } + +#leftColumn ::-webkit-scrollbar-thumb { + background: var(--code-syntax-highlighting-scrollbar); + border-radius: 2px; +} \ No newline at end of file