From b3358ebcebd2400a3f6aa81f8675296205f92688 Mon Sep 17 00:00:00 2001 From: MrHeadwar Date: Thu, 3 Nov 2022 08:23:27 +0100 Subject: [PATCH] Minor PDF tweaks: indent the TOC --- source/css/common.css | 4 ++-- source/css/pdf.css | 2 -- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/source/css/common.css b/source/css/common.css index 32495d7..2900e04 100644 --- a/source/css/common.css +++ b/source/css/common.css @@ -33,7 +33,7 @@ kbd.osc { kbd.input { background: none; - border-radius: unset; + border-radius: 0; } kbd.cmd { @@ -63,7 +63,7 @@ kbd.cmd.win:before { kbd.menu, kbd.option, kbd.optoff { - border-radius: unset; + border-radius: 0; background: rgb(240, 240, 240); box-shadow: inset 0 0 1px rgb(255, 255, 255), inset 0 0 .4em rgb(200, 200, 200), 0 .1em 0 rgb(130, 130, 130), 0 .11em 0 rgba(0, 0, 0, .4); } diff --git a/source/css/pdf.css b/source/css/pdf.css index 315c3b8..b1039c5 100644 --- a/source/css/pdf.css +++ b/source/css/pdf.css @@ -162,8 +162,6 @@ td, th { ul.toc { white-space: nowrap; list-style: none; - margin: 0; - padding: 0; } /* create page numbers using target-counter in the TOC */ -- 2.37.2