From 3e8ac59cfb3e418e87b0ef07039d4ed3e4c7819f Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Sat, 5 Apr 2014 17:02:19 -0700 Subject: [PATCH] missing semicolon in Scribble CSS original commit: 481d19fbdd18510b3d3274d2ee4d4d061a5d2317 --- pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css index ebc5fb61..d9e1783b 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/manual-style.css @@ -517,7 +517,7 @@ table.tocsublist { .toptoclink { font-weight: bold; - font-size: 110% + font-size: 110%; margin-bottom: 0.5rem; margin-top: 1.5rem; display: inline-block;