/* $Id: defaultstyle.css 6565 2019-08-05 18:38:56Z 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; }