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, p, ul, li  { font-family: Arial, helvetica, sans-serif; font-size: 10pt; background-color: #FFEECC; color: #000000; text-align: left }

h1, h2, h3   { font-family: Arial, helvetica, sans-serif; color: #006699; background-color: transparent; text-align: left }

/* 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 }
.codeback    { color: #000000; background-color: #dddddd; line-height: 14px }
.smodel       { color: #0000FF; background-color:transparent;}

.rule { 
        margin-left:10px;
        padding-left:10px;
        padding-bottom:5px;
        padding-top:5px;
        border-left: 2px;
        border-top:0px;
        border-right:0px;
        border-bottom:0px;
        border-style:dotted;
}


h1  { font-size: 20pt; }
h2  { font-size: 16pt; }
h3  { font-size: 12pt; }
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: 10pt; }
td { font-family: Arial, helvetica, sans-serif; font-size: 10pt; }