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; }