Minor PDF tweaks: indent the TOC

diff --git a/source/css/common.css b/source/css/common.css
index 32495d70d5c2c5e9a40c579504e1d89e0af9719f..2900e043692fea6a36ee3cd3472838b4e79bca5c 100644 (file)
--- 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 315c3b83e4f472794a2e7b0691c351662bd19cad..b1039c53161ed45027559bdf0a7f0331dcb4d8bd 100644 (file)
--- 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 */