From fb0fd622d0e18da014d0f11bfc4df272f64705a1 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 29 Jan 2008 18:36:04 +0000 Subject: [PATCH] fix scribble.cxx yet again svn: r8463 original commit: 8d17e9133309a553bd68f5f85a1269bb6d028b60 --- collects/scribble/scribble.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css index b6e35571..ede33cc3 100644 --- a/collects/scribble/scribble.css +++ b/collects/scribble/scribble.css @@ -152,7 +152,7 @@ font-weight: bold; } .tocviewlist td { - + font-size: 82%; vertical-align: top; }