a            { text-decoration: none }
a:link       { color: #E6005B; background-color: transparent; font-weight: bold }
a:visited    { color: #E6005B; background-color: transparent; font-weight: bold }
a:hover      { color: #FF71B8 ; background-color: transparent; font-weight: bold }
body, table, p, ul, li  { font-family: Arial, helvetica, sans-serif;
			  font-size: 12pt; color: #3C8A6A ; text-align: left }
p, ul, li { background-color: transparent }
table     { background-color: #F8FFF0 }
body      { background-color: #DFFEDE; }

/* deep orange: #FF9A00 */
/* light orange: #FFC977 */
/* deep green: #5B7900 */
/* light green:  #9CCF00 */
/* deep pink: #FF0066 */
/* light pink: #FF71B8 */
/* med green: #bed273 */
/* dark green: #3A5B29 */

/* light green #DFFEDE*/
/* bright green #99CC00 */
/* teal #B1DECF */
/* dk teal #3C8A6A */
/* slightly darker pink #E6005B */

/* Use this style to highlite changes to problem sets */
.change      { color: #000000; background-color: #99CCFF }

/* The following are used to highlite SML code */
.comment     { color: #CC0000; background-color: transparent; font-weight: bold }
.string      { color: #339966; background-color: transparent}
.keyword     { color: #0000CC; background-color: transparent; font-weight: bold }
.type        { color: #006000; background-color: transparent; font-weight: normal }
.codeback    { color: #000000; background-color: #dddddd; line-height: 14px }

/* used for mathematics */
.equation    { color: black; font-family: Times New Roman, serif; font-size: 12pt; background-color: transparent }
.symbol      { font-family: Symbol, symbol }

h1  { font-size: 24pt; font-family: Arial, helvetica, sans-serif }
h2  { font-size: 18pt; font-family: Arial, helvetica, sans-serif }
h3  { font-size: 14pt; font-family: Arial, helvetica, sans-serif }
h4  { font-size: 12pt; font-family: Arial, helvetica, sans-serif }

h2, h3  { color: #3C8A6A; background-color: transparent; text-align: left }

pre, xmp { font-family: Courier New, Courier, sans-serif; margin-left: 1em; font-size: 10pt; }
kbd, tt, code { font-family: Courier New, Courier, sans-serif; font-size: 12pt }
td { font-family: Arial, helvetica, sans-serif; font-size: 12pt }