From 2ca8b1b5c9517dd1adb0fdb99edc35ab6c94ef53 Mon Sep 17 00:00:00 2001 From: Yuri Sizov Date: Mon, 21 Nov 2022 21:39:15 +0300 Subject: [PATCH] Make the TOC expand button easier to click --- _static/css/custom.css | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/_static/css/custom.css b/_static/css/custom.css index b8e34572a..2b18fb4cb 100644 --- a/_static/css/custom.css +++ b/_static/css/custom.css @@ -1026,6 +1026,22 @@ kbd.compound > .kbd, margin-right: 0; } +/* Make the expand icon a bit easier to hit. */ +.wy-menu-vertical li a button.toctree-expand { + position: relative; + width: 12px; + height: 18px; +} + +.wy-menu-vertical li a button.toctree-expand:before { + position: absolute; + top: -3px; + left: -6px; + width: 24px; + height: 24px; + padding: 6px; +} + /* Banner panel in sidebar */ .wy-nav-side .ethical-rtd.fixed { position: fixed;