#header {
	background-color: #423585;
}

#header h1, #header h1 a, #header h1 a:visited {
	color: #FFFFFF;
	padding: 6px 0 12px 0;
	margin: 0;
	vertical-align: middle;
	text-align: center;
}

#sidebar {
	float: left;
	width: 210px;
	padding: 0 18px 0 18px;
}

#maincontent {
	margin-left: 245px;
	padding: 0 0 0 24px;
	border-left: 2px dotted #423585;
}

#announce {
	background-color: #7265B5;
	color: #FFFFFF;
	padding: 0 0 2px 12px;
}

#sidebar ul {
	margin: 0;
	padding: 0 0 0 12px;
	list-style-type: none;
	font-size: larger;
}

#sidebar li {
	margin: 0;
}

#sidebar a {
	display: block;
	padding: 4px 4px 4px 24px;
	border: 1px solid white;
	background-color: #423585;
}

#sidebar a:link, #sidebar a:visited {
	color: #FFFFFF;
}

#sidebar a:hover, #sidebar a:active {
	color: #FFFF00;
}

#current {
	display: block;
	padding: 4px 4px 4px 24px;
	border: 1px solid white;
	background-color: #7265B5;
	color: #FFFFFF;
}

li.nolink {
	display: block;
	padding: 4px 4px 4px 24px;
	border: 1px solid white;
	background-color: #423585;
	color: #FFFFFF;
}

#tas li {
    margin-top: 10px;
}

tr.header {
	background-color: #423585;
	color: #FFFFFF;
	font-weight: bold;
	font-size: larger;
}

td.empty {
	background-color: #BFBFBF;
	color: black;
}

td.noclass {
	background-color: #423585;
	color: white;
}

td {
	padding: 4px 8px 4px 8px;
}

th {
	padding: 2px 8px 2px 8px;
}

table.navigation {
	border: none;
	background-color: #423585;
}

table.navigation th.current, table.navigation td.current {
	background-color: #7265B5;
}

table.navigation, table.navigation a {
	color: #FFFFFF;
}

table.navigation a:hover {
	color: #FFFF00;
}

table.example {
     background-color: #EFEFDF;
     border: medium solid #423585;
     margin-bottom: 1em;
     align: center
}

.font-mono {
    font-family: monospace;
}

.text-red {
    color: red;
}

/* get rid of the sidebar stuff when printing */
@media print {
    #sidebar {
        display: none;
        padding: 0 0 0 0;
	border: none;
    }

    #maincontent {
	margin-left: 0;
	padding: 0 0 0 0;
	border-left: none;
    }
}
