body { color: rgb(34, 34, 34); font-family: 'DejaVu Sans','Bitstream Vera Sans',Verdana,sans-serif; font-size: 2em; line-height: 1.5; padding: 1em; width: 22em; }
h1 { font-family: Georgia,'DejaVu Serif','Bitstream Vera Serif',serif; font-size: 3em; font-weight: normal; margin: 0pt 0pt 0.5em; }
a { color: rgb(0, 132, 180); }