a            { text-decoration: none }

a:link, span.link
	     { color: #3355aa; background-color: transparent; 
               font-weight: bold }


a:visited    { color: #334477; background-color: transparent; font-weight: bold }

a:hover      { color: #0088FF; background-color: transparent }

a.pre { color: #606060 }

body         { font-family: helvetica, Arial, sans-serif; 
               font-size: 11pt; color: #000000; text-align: left }

body         { background-color: #f8f8f8 }
              /* #e6e6ff, #ece9d8  */

table        { background-color: transparent }

.announcements { background-color: #ffc; border-style: solid; border-width: 1 }

p, ul        { text-indent: 1em; background-color: transparent; line-height: 1.4em }
p.math {text-indent: 0}
p.small { line-height: 1em }
li           { text-indent: 0; background-color: transparent; margin: 4pt; line-height: 2.3ex }
table.index li { margin: 0pt; line-height: 1em }

p { margin: 0.7ex }
p.cont { text-indent: 0}
p, ul, ol {max-width: 80ex }

.examples { border-style: solid; border-width: 1; border-color: #888;
             text-indent: 0; margin-left: 3em; padding-left: 1ex }

div.boxed { border-style: solid; border-width: 1; border-color: black}


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

div.figure {text-align: center; max-width: 80ex }

strong, em { color: #000080 }

img.popup {
    border-style: solid;
    border-color: black;
    border-width: 1;
    position: fixed;
    display: block;
}

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


/* Use this style to highlight HW items appearing in the schedule */
.hw          { color: #800000; font-weight:bold }


/* Use these styles to highlight 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; }

.bnf         { color: #080; background-color: transparent; 
               font-weight: bold; }

.codeback    { color: #000000; background-color: #dddddd; 
               line-height: 14px }

.ampm        { font-variant: small-caps}


/* Use these styles for mathematics */
.math, .m    { color: black; font-family: Times New Roman, times, serif; 
               font-size: 13pt; background-color: transparent }

span.coursenumber { font-size: 300% }
/* Standard styles for headers, code, tt, etc. */
h1            { font-size: 18pt; }

h2            { font-size: 14pt; }

h3            { font-size: 12pt; }


pre, xmp      { font-family: Courier New, Courier, monospace; 
                background-color: #bddddd;
                margin-left: 1em; 
                padding-left:0.2cm; 
                padding-right:0.2cm; 
		max-width: 100ex;
		white-space: pre;
                font-size: 10pt; 
              }
pre.transparent { background-color: transparent;
		    color: #606060;
		    font-weight: bold}

table.pre { margin-left: 1em; }
table.pre td, table.pre th { background-color: #bddddd; font-family: Courier New, Courier, monospace, fixed}
table.pre td { background-color: #bddddd; }
.correction { color: red; font-style: italic }

kbd, tt, code { font-family: Courier New, Courier, monospace; 
                font-size: 11pt;
		font-weight: bold;
		color: #606060
		}

td            { font-family: Arial, helvetica, sans-serif; 
                font-size: 11pt; }

th            { background-color: #ccc; font-weight: bold }
th.staff_column { text-align: center }

th.recitation { background-color: #cff; text-align: center }
td.recitation { background-color: #FFF0d0 }
td.staff_info, td.instructor_info { padding: 0px 8px 0px 8px}
td.event	{ background-color: #cff; color: #800000; width: 100%; font-weight: bold }
table.sample td { background-color: #fff0d0 }
table.sample th { background-color: #aee }


table.formatting 
              { background-color: transparent }
p.note 
{background-color: #FF0000; color: #FFFFFF; font-weight: bold }
p.indented { padding-left: 3em }

.hilite {color: #048}
ol.problems li {margin-top: 1em; margin-bottom: 1em}
ol.problems p {margin-top: 1em; margin-bottom: 1em}