@charset "UTF-8";

h1, h2, h3, h4 {
	font-family: Verdana, Geneva, Arial, helvetica, sans-serif;	
	margin-bottom:0.5em;
}

body {
	font-family:"Times New Roman",Georgia,Serif;
}

td {
	font-family: Verdana, Geneva, Arial, helvetica, sans-serif;
}

th {
	font-family: Verdana, Geneva, Arial, helvetica, sans-serif;
}

.page-frame {
	margin-left:auto; 
	margin-right:auto; 
	margin-top:0px; 
	margin-bottom:0px; 
	width:850px;
}

.project-title
{
}

.class-title
{
	font-size:70%;
	color:rgb(155,0,0);
}

.title {
	text-align:center;
	font-size:170%;
	font-weight:bold;
}

code, .codefrag, .code {
	font-family: Courier, monospace;
	text-align:left;
}

.codefrag {
	font-size:80%;
	margin-bottom:1em;
	margin-top:1em;
	background-color:#CCDEF0;
	border:1px solid #A7C0CC;
	padding: 5px;
}

.figure {
	margin-bottom:1em;
	margin-top:1em;
	text-align:center;
	align:center;
}

.nav-bar {
	/*height:30px;*/
	border-top-color: #036;
	border-bottom:1px solid #003366;
	margin-left:auto;
	margin-right:auto;
	margin-bottom:10px;
	align:center;
}

.nav-elem {
	font-variant:small-caps;
	margin-left:20px;
	margin-right:20px;
	margin-top:10px;
	margin-bottom:10px;
	font-family: Verdana, Geneva, Arial, helvetica, sans-serif;
}

.nav-elem a:link    {
	text-decoration: none; 
	color: #000;
}

.nav-elem a:visited {
	text-decoration: none;
	color: #000;
}

.nav-elem a:active  {
	text-decoration: none;
	color: #000;
}

.nav-elem a:hover   {
	text-decoration: underline;
	color: #39F;
}