commit cc68354488c67b21a8cd73c2784c1cccf1d0e083
parent 1bca3ea18c230e52247fb3702dbaf83a8b2f2a60
Author: Matthew Butterick <mb@mbtype.com>
Date: Sat, 5 Apr 2014 11:06:02 -0700
further dehackify .toptoclink style in Scribble CSS
original commit: 7a1fe139a587800d2af76ce7eb09250247e9feea
Diffstat:
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css
@@ -518,6 +518,9 @@ table.tocsublist {
.toptoclink {
font-weight: bold;
font-size: 110%
+ margin-bottom: 0.5rem;
+ margin-top: 1.5rem;
+ display: inline-block;
}
.toclink {