/* $Id: defaultstyle.css 4934 2012-04-11 21:02:16Z earl $ */
body		{ background-color: white; min-width: 20em; max-width: 40em; }
h1		{ color: rgb(165,42,42); }
h2		{ color: rgb(165,42,42); }
h3		{ color: rgb(165,42,42); }
.attention	{ font-weight: bold; color: rgb(165,42,42); }
.notice		{ font-weight: bold; color: red; }
.padspace2	{ padding: 2px; border-spacing: 2px; }