From 8378fbf1a49b49be4ae1d7a208f7251973bcb6d6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 29 Jan 2008 17:37:10 +0000 Subject: [PATCH] regexp doc fixes svn: r8462 original commit: 3cd1b5f14f2fece4e56c5450df67b7a0128f51a7 --- collects/scribble/scribble.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css index cf3bde68..b6e35571 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; } @@ -185,6 +185,7 @@ font-weight: bold; } .tocsubnonseclink { + font-size: 82%; text-decoration: none; padding-left: 0.5em; }