diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css index a13c34d0..f0eeb464 100644 --- a/collects/scribble/scribble.css +++ b/collects/scribble/scribble.css @@ -5,6 +5,7 @@ max-width: 35em; margin-left: auto; margin-right: auto; + padding-left: 0.5em; font-family: Times; }