.leftpane {

}

.menuheader { 
	font-size: 15px; 
	font-family: arial,helvetica,sans-serif; 
	font-weight: bold;
	text-decoration: underline;
color: #808080;
       margin-left: 5;
}

li.menu  {
	font-family: arial,verdana,helvetica,sans-serif;
	font-size: 13px;
color: #b4b4b4;
       margin-left: 5;
       line-height: 150%;
}

.question {
	font-family: verdana, arial,helvetica,sans-serif;
color: #0000FF;
       font-weight: bold;
       font-size: 16px;
}

p, .tiny, .small, .medium, .large, .normal {
	font-family: verdana, arial,helvetica,sans-serif;
}

.tiny   { font-size: 10px; }
.small  { font-size: 11px; }
td, p, .normal { font-size: 12px; }
.large  { font-size: 18px; }

.answerbody {
	font-family: verdana,arial,helvetica,sans-serif;
	font-size: 12px;
}
code {
	font-family: Courier, 'Courier New', sans-serif; 
	font-size: 12px;
}

pre  {
	font-family: Courier, 'Courier New', sans-serif; 
	font-size: 12px; 
color: #006600;
       background-color: #FAFAFA; 
border: #D1D7DC; 
	border-style: solid;
	border-left-width: 1px; 
	border-top-width: 1px; 
	border-right-width: 1px; 
	border-bottom-width: 1px;
        overflow-x: scroll;
}

body  {
	background-color=white;
	margin-top="1";
	margin-left="3";
	margin-height="0"; 
	margin-width="0";
}

a:link {color: #C30000; text-decoration:none}
a:visited {color: #990000; text-decoration:none}
a:hover {color: #FF6666; text-decoration:none}
a:active {color: #FF3333; text-decoration:none}

.menu a:link {color: #C30000; text-decoration:none}
.menu a:visited {color: #990000; text-decoration:none}
.menu a:hover {color: #FF6666; text-decoration:none}
.menu a:active {color: #FF3333; text-decoration:none}



.nodec {
	text-decoration: none;
}

.smallmargin {
	margin-top="0";
	margin-height="0"; 
	margin-width="0";
}  

.indented {
	margin-left:50;
}

.datetable {
	font-family: verdana,arial,helvetica,sans-serif;
	font-size: 12px;
}

.credit {
	font-family: verdana,arial,helvetica,sans-serif;
	font-size: 12px;
	font-weight: bold;
}

.bgcol1 {
	background-color: #F1F1F1; 
}

.bgcol2 {
	background-color: #DFDFDF; 
}
