diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css
index ae781dad..e533c359 100644
--- a/collects/scribble/scribble.css
+++ b/collects/scribble/scribble.css
@@ -60,6 +60,7 @@ table td {
 
 .navset {
   background-color: #f0f0e0;
+  padding: 0.25em 0 0.25em 0;
 }
 
 .navleft {