From 970f768309a558df0f2cf22687e388581dc6deda Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Tue, 8 Jul 2008 16:15:05 +0000
Subject: [PATCH] improved navset padding

svn: r10681
---
 collects/scribble/scribble.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css
index ae781dad95..e533c3590a 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 {