/* CSS Document */

.body_content{
    color: #666666;
	background-color:#FFFFFF;
	margin-left:auto;
	margin-right:auto;
	width: 800px;
	font-family: Lucida Grande,Helvetica,Arial,Verdana,sans-serif;
	font-size: 14px;
	line-height: 22px;
	list-style: disc;
}



.menu_bar {
	padding-top:20px;
	padding-bottom:20px;
	border-bottom: medium, solid, #666666;
	font-size:16px;
	/*text-align: left;*/
	font-weight: 100; 
}


.highlight {
	/*color: #D1422E;*/
	color: #3193E8; 
}


.menu_bar_item {
	padding-left: 10px;
	padding-right: 10px;
	font-weight: 100;
}



.menu_bar_item_active {
	padding-left: 10px;
	padding-right: 10px;
	font-weight: 100;
}

.title {
	font-family: Gill Sans, Arial, Helvetica, sans-serif, Helvetica, sans-serif;
	line-height:normal;
	font-size:50px;
	padding-bottom: 20px;
	padding-top: 20px;
	border-top: thin, #666666; 
	border-top-width: 1px;
	border-top-style: solid; 
	color: #3193E8;
	border-color:#999999;
	font-weight: 100;
	text-align: left;
}

/* .title {
	line-height:normal;
	font-size:36px;
	padding-bottom: 40px;
	padding-top: 20px;
	border-top: thin, #666666;
	border-top-width: 1px;
	border-top-style: solid;
	color: #999999;
	font-weight: bold;
} */

.footer {
	padding-top: 100px;
	text-align: left;
	font-size: 10px;
}

.code {
	
	font-family:"Courier New", Courier, monospace;
	line-height: 20px;
	font-size: 16px;
}

.image {
	padding: 10px;
}

h1 {
	padding-top: 20px;
	font-family: Gill Sans, Arial, Helvetica, sans-serif;
	/* color: #D1422E; */
	color: #3193E8; 
	font-size: 40px;
	font-weight: 100;
}

h2 {
	/* color: #D1422E; */
	color: #3193E8; 
	font-family: Gill Sans, Arial, Helvetica, sans-serif;
	font-size: 30px;
	font-weight: 100;
}

h3 {
	/* color: #D1422E; */
	color: #3193E8; 
	font-size: 14px;
	font-family: Gill Sans, Arial, Helvetica, sans-serif;
	font-weight: 100;
}

table {
	font-size: 10px;
	border-collapse: collapse;
}

td {
	border-color: #CCCCCC;
	border-bottom: thin;
	border-style: solid;
	border-left: none;
    border-right: none;
	padding-right: 20px;
}

.publication {
	padding-top: 40px;
	padding-left: 40px;
	padding-right: 40px;
	line-height: normal;
}

.pubtitle {
	font-style: italic;
}

.pubauth {
	font-weight: bold;
}

.publoc {

}

.list {
	padding-bottom: 20px;
}

.interface {
	color: #D1422E;
	font-family:"Courier New", Courier, monospace;
}