/* Colors: #088 is a nice teal, #080 is a true green,
	#37f is a true blue, #22a is almost indigo,
	#a00 is deep red, #00a is deep blue, #04c is true blue
 */

BODY {
	background-color:	#fff;
	color:	black;
	font-size:	medium;		/* usually medium; small for printing */
/*	margin-left:	150px; */
}

P, TD {
	font-size:	medium;		/* usually medium; small for printing */
}

H1	{ font-size:	xx-large }	/* usually x-large; large for printing */

H2 {
	font-size:	x-large;		/* usually x-large; large for printing */
	font-style:	italic;		/* for printing */
	/* color: 		#f00;   Sandino likes black! */
}

H3 {
	font-size:	large;
	/* color: 		#00a;  Sandino's choice for H3 */
}

H4 {
	/* font-size:	large;  Alyce wants H4 to be smaller than H3 */
	/* color: 		#f00;   Sandino likes black! */
}

body {
    margin-left: 20px;
    margin-right: 20px;
}

header, main H1, main H2, main H3, main H4, main H5, main H6, main TH {
    color: #069;        /* Alyce likes #069; Sandino likes #f00; */
    padding-top: 10px; padding-bottom: 10px;
}

table {
    margin-left: 20px; margin-right: 20px;
    margin-bottom: 20px;
}

A:link		{ color: #a00; text-decoration: underline }
A:visited, A:active	{ color: indigo; text-decoration: underline }

CODE, .code, .math {
    color:		#00f;    /* blue */
    font-weight: bolder;
    font-family:	monospace;
}

PRE { font-family:	serif }

.infobox {
    padding: 15px 15px 5px 15px;
    border-radius: 0px 25px 25px 25px;
    border: 1px #837870 solid;
}

.indent {
    padding-top: 15px;
    padding-left: 25px;
    display: block;
}

hr {
    border-top: 1px #837870 solid;
}

.keyword { color: #096; font-weight: bold; }

em.color { color: #096; }