@import "banner.css";

@media print {
*	{ font-family: Palatino, "Times New Roman", serif; font-size: 10pt; }
h1	{ font-family: AvantGarde, Arial, sans-serif; font-size: 16pt; color:#933; }
h2	{ font-family: AvantGarde, Arial, sans-serif; font-size: 12pt; color:#933; }
h3	{ font-family: AvantGarde, Arial, sans-serif; font-size: 10pt; font-weight: bold; color:#933; }
}
@media screen {
*	{ font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt; }
h1	{ font-size: 16pt; color:#933; padding-top: 2em; }
h2	{ font-size: 12pt; color:#933; padding-top: 2em; }
h3	{ font-size: 10pt; font-weight: bold; color:#933; padding-top: 2em; }
}

body	{ margin-left: 11.5em; margin-right: 2em; margin-top: 2em; }
ul	{ list-style-type: square; }
a:hover { background: #eef; }
blockquote { background: #efe; padding-left: 2em; padding-right: 3em; padding-top: 1em; padding-bottom: 1em; margin-left:0; }
.indent { padding-left: 30pt; }
.external { background:#fcc; }
.tip { font-weight: bold; color:#f00; }
.ingress { font-size: 120%; }
td { padding: 0.5em; }
.here { color: #fcc; background:#933 }
