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;