reduce space between doctitle and embedded toc

diff --git a/src/css/doc.css b/src/css/doc.css
index 1297ac5..cbae20e 100644 (file)
--- a/src/css/doc.css
+++ b/src/css/doc.css
@@ -42,6 +42,10 @@
   }
 }
 
+h1.page + aside.toc.embedded {
+  margin-top: -0.5rem;
+}
+
 #preamble + .sect1,
 .doc .sect1 + .sect1 {
   margin-top: 2rem;