From cc68354488c67b21a8cd73c2784c1cccf1d0e083 Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Sat, 5 Apr 2014 11:06:02 -0700
Subject: [PATCH] further dehackify .toptoclink style in Scribble CSS

original commit: 7a1fe139a587800d2af76ce7eb09250247e9feea
---
 pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css
index 853c866c..ebc5fb61 100644
--- 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 {