[plt-scheme] A suggestion for Scribble CSS

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Wed Jun 25 09:05:48 EDT 2008

At Wed, 25 Jun 2008 13:47:36 +0100, "Noel Welsh" wrote:
> As currently rendered headings in Scribble are equidistant to the
> paragraph above and the paragraph below.  Increasing the distance
> above a heading makes the structure of the document more apparent.  I
> have found the following snippet of CSS improves the appearance of
> Scribble pages in all reasonable web browsers (unreasonable browsers
> have not been tested):
>    h1, h2, h3, h4, h5, h6, h7, h8 {
>      margin-top: 1.75em;
>      margin-bottom: 0.5em;
>    }

That's a good idea. Committed in SVN, except that I dropped h1 and h2.
(In Scribble output currently, h1 is unused, and h2 always appears at
the top of a page.)


Posted on the users mailing list.