From 54d02ac66909caad2f72da7b3a0ebc18ff4d9fc1 Mon Sep 17 00:00:00 2001 From: Dan Allen Date: Tue, 29 Dec 2020 01:43:40 -0700 Subject: [PATCH] reduce space between doctitle and embedded toc --- src/css/doc.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/css/doc.css b/src/css/doc.css index 1297ac5..cbae20e 100644 --- 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; -- 2.11.0