body {font-family:Georgia,serif;max-width:900px;}
code {font-size:11px;}
#source {border:1px solid #ccc; background:#eee;padding:1em;margin:2em;}