body {
    background-color: rgb(199, 230, 213);
    font-family: sans-serif;
}


/* custom horizonal rule*/
/*hr {
    height: 30px;
    background: url(images/hr.png) no-repeat scroll center;
    border: 0px;
}*/

/* styling for div sections that contain a paper's bibliography */
div.Paper{
	padding:20px;
}

div.JournalInfo{
	padding-left:20px;
}


/* Styling for code, which should be in a fixed-width font */
font.Code{
	font-family:monospace;
	/*font-weight:700;*/
	font-size:1.2em;
}


/* Main graphic at the top */
#Top {
    width: 900px;
    height: 100px;
    background-image: url('images/header.png');
    background-color: rgb(234, 246, 239);
    border: hidden;
    /*padding-bottom: 5px;*/
    padding-top: 1px;
    background-repeat: no-repeat;
}

/* My name at the top */
.TopText {
    padding-left: 30px;
	padding-top:5px;
    /*color: rgb(87, 109, 93);*/
    /*font-size: 2em;*/
    /*font-style: italic;*/
}

.TopText a:link{
    text-decoration: none;
    color: rgb(87, 109, 93);
}

.TopText a:visited {
	text-decoration:none;
	color: rgb(87, 109, 93);
}

.TopText a:active{
	text-decoration:none;
	color: rgb(87, 109, 93);	
}

.TopText a:hover {
    text-decoration: none;
    color: rgb(146, 182, 155);
}

.Menu {
    width: 200px;
    background-color: rgb(234, 246, 239);
    color: rgb(87, 109, 93);
	
	margin-right:5px;
}

#TopLine {
    /*background-color:rgb(214, 236, 224);*/
    background-color: rgb(199, 230, 213);
    width: 900px;
    height: 2px;
}

/* Table stuff for the main table that holds the menu and content sections */
#TableStuff {
    width: 900px;
    background-color: rgb(234, 246, 239);
    /*padding: 2px;*/
	padding-right:10px;
	padding-left:5px;
}

/* Menu stuff */
.Menu a:link{
    text-decoration: none;
    color: rgb(87, 109, 93);
}

.Menu a:visited {
	text-decoration:none;
	color: rgb(87, 109, 93);
}

.Menu a:active{
	text-decoration:none;
	color: rgb(87, 109, 93);	
}

.Menu a:hover {
    text-decoration: none;
    color: rgb(146, 182, 155);
}

.Menu {
    width: 200px;
    background-color: rgb(234, 246, 239);
    color: rgb(87, 109, 93);
	
	margin-right:5px;
}

ul.MenuTop{
	margin-left: 0px;
	padding-left: 5px;
	list-style-type:none;
}
ul.MenuInner{
	margin-left: 0px;
	padding-left: 25px;
	list-style-type:none;
	font-size:0.9em;
	text-indent:-10px;
	padding-bottom:5px;
}

/* Main content */
.Content {
    width: 700px;
    background-color: #FFFFFF;
    padding-left: 10px;
    padding-right: 10px;
	padding-bottom: 10px;
}

.Content a:link{
    text-decoration: none;
    color: rgb(104,130,111)
}

.Content a:visited {
    text-decoration: none;
    color: rgb(104,130,111)
}

.Content a:active {
    text-decoration: none;
    color: rgb(104,130,111)
}

.Content a:hover {
    text-decoration: none;
    color: rgb(146,182,155);
}

/* Footer */
#Footer {
    width: 890px;
    background-color: rgb(234, 246, 239);
    padding: 5px;
    text-align: center;
    font-size: small;
    color: rgb(117, 146, 124);
}