From 743713369d3c64e35008b5818a947e693481ddfb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=A1=D0=BA=D0=BE=D0=B2=D0=BE=D1=80=D0=BE=D0=B4=D0=B0=20?= =?UTF-8?q?=D0=9D=D0=B8=D0=BA=D0=B8=D1=82=D0=B0=20=D0=90=D0=BD=D0=B4=D1=80?= =?UTF-8?q?=D0=B5=D0=B5=D0=B2=D0=B8=D1=87?= Date: Fri, 29 Apr 2016 17:53:47 +0300 Subject: [PATCH 1/2] doc: match nav scrollbar color with bg color This makes the navigation scrollbar background match with the navigation background, which should make it more obvious where that scrollbar belongs to (and that there is a scrollbar). --- doc/api_assets/style.css | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/doc/api_assets/style.css b/doc/api_assets/style.css index b093b2c3fe11fd..271043ef5d226e 100644 --- a/doc/api_assets/style.css +++ b/doc/api_assets/style.css @@ -84,6 +84,14 @@ em code { width: 10px; } +#column2::-webkit-scrollbar-track { + background: #333; +} + +#column2::-webkit-scrollbar-thumb { + border-color: #333; +} + #changelog #gtoc { display: none; } From bcc38426a9c1a56b40e6e54072e711f7e2663118 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=A1=D0=BA=D0=BE=D0=B2=D0=BE=D1=80=D0=BE=D0=B4=D0=B0=20?= =?UTF-8?q?=D0=9D=D0=B8=D0=BA=D0=B8=D1=82=D0=B0=20=D0=90=D0=BD=D0=B4=D1=80?= =?UTF-8?q?=D0=B5=D0=B5=D0=B2=D0=B8=D1=87?= Date: Fri, 29 Apr 2016 17:55:17 +0300 Subject: [PATCH 2/2] doc: increase webkit scrollbars size This increases webkit scrollbars width from 10px to 16px, but keeps the visual width at 10px until the scrollbar is hovered. --- doc/api_assets/style.css | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/doc/api_assets/style.css b/doc/api_assets/style.css index 271043ef5d226e..5e27e4d967235a 100644 --- a/doc/api_assets/style.css +++ b/doc/api_assets/style.css @@ -72,7 +72,8 @@ em code { background: #d2d2d2; background-clip: padding-box; border: 3px solid #fff; - border-radius: 5px; + border-left-width: 9px; + border-radius: 0px; } ::-webkit-scrollbar-thumb:active { @@ -81,7 +82,12 @@ em code { } ::-webkit-scrollbar { - width: 10px; + width: 16px; +} + +::-webkit-scrollbar-thumb:hover { + border-width: 3px; + border-radius: 5px; } #column2::-webkit-scrollbar-track {