index: vertical spacing between navigation links

Increase distance to facilitate mobile clicking;
makes the page mobile-friendly according to
<https://search.google.com/search-console/mobile-friendly?url=sheet.shiar.nl>
which recommends elements to be at least 48px apart:
<https://developers.google.com/speed/docs/insights/SizeTapTargetsAppropriately>

diff --git a/base.css b/base.css
index 5336d63971caa510dade6a7d71bbfb9368758fbb..c76d6a088c646b7597a29e4743ce381315acfeff 100644 (file)
--- a/base.css
+++ b/base.css
@@ -695,6 +695,10 @@ nav > .section {
        -webkit-column-break-inside: avoid; /* webkit */
        page-break-inside: avoid; /* moz */
 }
+#index nav a {
+       display: inline-block;
+       margin-top: 1em;
+}
 
 /* printing hints */