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 {