a            { text-decoration: none }a:link       { color: #339966; background-color: transparent; font-weight: bold }a:visited    { color: #009999; background-color: transparent }a:hover      { color: #0000FF; background-color: transparent }body, table  { font-family: Arial, helvetica, sans-serif; font-size: 10pt; background-color:                #FFEECC; color: #000000 }h1           { color: #006699; background-color: transparent; text-align: center }/* 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-style: italic;                font-weight: bold }.string      { color: #339966; background-color: transparent}.keyword     { color: #0000CC; background-color: transparent; font-weight: bold }.codeback    { color: #000000; background-color: #dddddd; line-height: 14px }