<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">&lt;!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN"&gt;
&lt;html&gt;
&lt;head&gt;
&lt;style type="text/css"&gt;
&lt;!--
        body,BODY {
                /* Removed so we can set background color for the navbar: 
		/* background: #ffffff; */
                font-family: Arial, helvetica, sans-serif;
        }
        ul.navbar {
                list-style-type: none;
	 	padding: 0;
		margin: 0;
		/* Absolute position only works if navbar is by itself! */
		/* position: absolute; */
		position: relative;
		top: 0em;  /* was: 2em */
		left: 0em;   /* was: 1em */
		width: 10.9em;  /*was: 10em */
        }
	ul.navbar li {
		background: #004990;
		margin: 0.5em 0;
		padding: 0.3em;
		border-left: 1em solid black;
        }
	ul.navbar a {
		color: white;
		font-weight: bold;
		text-decoration: none;
        }
	ul.navbar a:link {
		color: white;
		font-weight: bold;
        }
	ul.navbar a:visited {
		color: white;
		font-weight: bold;
        }
	ul.navbar a:hover {
		color: white;
		font-weight: bold;
		text-decoration: underline;
        }
	ul.navbar a:active {
		color: yellow;
		font-weight: bold;
        }
        td,th,TD,TH,p,P,li,LI,h3,H3,h4,H4,input,INPUT,span,SPAN {
                font-family: Arial, helvetica, sans-serif;
        }
	h1,H1 {
                font-size: 175%;
                font-style: italic;
                font-family: Arial, helvetica, sans-serif;
		text-align: center;
        }
        h2,H2 {
                font-size: 150%;
                font-family: Arial, helvetica, sans-serif;
		text-align: center;
        }
        .info {
                background-color: #004990;
                padding: 0.25cm;
                border-width: 1px;
                color: #ffffff;
                font-weight: bold;
                border-style: none;
        }
        .attention {
                background-color: #ff0000;
                padding: 0.25cm;
                border-width: 1px;
                color: #ffffff;
                font-weight: bold;
                border-style: none;
        }
        .highlight {
		color: #004990;
                font-weight: bold;
        }
--&gt;
&lt;/style&gt;
&lt;title&gt;Course Style Sheet&lt;/title&gt;
&lt;/head&gt;
&lt;/html&gt;
</pre></body></html>