
/* Expand the document margins a little. */
body {
  padding: 2em;
}

body {
  font-family:
    "Bookman Old Style",	/* Windows, MacOS */
    "Serifa BT",		/* Windows XP. Not the same font,
				   but the overall look is close enough. */
    "URW Bookman L",		/* Unix+X+FontConfig */
    "itc bookman",		/* Unix+X */
/* Fallback options */
    times,			/* Unix+X, MacOS */
    serif;
}

/* Footer is small and right-aligned. */
#footer {font-size: smaller; text-align: right;}
