From 588826854fdf03f6b3e32584d1fdcdbe64602d2f Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Thu, 18 Jan 2024 18:16:25 +0000 Subject: [PATCH] Change list style and font size for right TOC (#6208) Signed-off-by: Fanit Kolchina (cherry picked from commit 490bf7da7eef52eb091de27feb1edf0b6514bf3c) Signed-off-by: github-actions[bot] --- _sass/custom/custom.scss | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/_sass/custom/custom.scss b/_sass/custom/custom.scss index b458b0d62b..2f7d6dc5ed 100644 --- a/_sass/custom/custom.scss +++ b/_sass/custom/custom.scss @@ -539,16 +539,22 @@ p.label { font-size: 14px; list-style-type: none; background-color: $sidebar-color; - padding: $sp-6 $sp-4; - margin-left: $sp-4; - margin-right: $sp-8; - margin-bottom: 0; + padding: 2rem 1.5rem 1rem 1.5rem; + margin: 0 3rem 0 1rem; overflow: auto; } .toc-item { - padding-top: .25rem; - padding-bottom: .25rem; + padding: .1rem 0; + line-height: 1.3; + margin: 0.35rem 0; + ul { + list-style-type: none; + padding-left: 0.5rem; + > li { + font-size: 13.5px; + } + } } .div-feedback {