body {
	margin: 25px 0px 0px 0px;
	background-position: center;
	background-repeat: repeat-y;
	text-align: left;
}


#main {
	width: 1000px;
	margin-left: auto;
	margin-right: auto;
	text-align: left;
	background-color: #FFFFFF;
}

#top-nav {
	width: 840px;
	margin-left: auto;
	margin-right: auto;
	font-family: Tahoma;
	font-size: 50px;
	color: #599BC5;
	text-align: left;
	vertical-align: bottom;
	height: 30px;
	line-height: 18px;
	padding-left: 5px;

	background-color: #FFFFFF;
}

#navigation {
	float: left;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 105%;
	font-weight: bold;
	color: #599BC5;
	background-color: #FAFAFA;
	text-decoration: none;
	margin: 0px 0px 0px 0px;
	padding: 5px 5px 15px 5px;
	width: 150px;
	border-color: #CCCCCC;
	border-style: solid;
	border-width: 1px 1px 1px 0px;
	text-align: right;
}


#content {
	font-family: Helvetica, Calibri, Verdana, Arial, sans-serif;
	font-weight: normal;
	color: #666666;
	text-decoration: none;
	text-align: justify;
	padding: 5px 0px 15px 0px;
	background-color: #FFFFFF;
}

#footer {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 90%;
	color: #666666;
	padding: 20px 0px 10px 0px;
	text-align: center;
	clear: left;
	background-color: #FFFFFF;
}

.clearfix::after {
    content: "";
    clear: both;
    display: table;
}


/* Default behavior for hyperlinks: appear underlined, with normal color...*/
a {
	color: #666666;
	text-decoration: underline;
}

/*...and turn black once hovered.*/
a:hover {
	color: black;
	text-decoration: underline;
}

/* Different behavior for links in paper titles: appear bold and underlined, with black color...*/
a.papertitle {
        color: black;
        font-weight: bold;
	text-decoration: underline;
}

/*...and turn non-underlined once hovered.*/
a.papertitle:hover {
        color: black;
        font-weight: bold;
	text-decoration: none;
}

/* Different behavior for links to headings: appear bold and underlined, with black color...*/
a.heading {
        color: black;
        font-weight: bold;
	text-decoration: underline;
}

/*...and turn non-underlined once hovered.*/
a.heading:hover {
        color: black;
        font-weight: bold;
	text-decoration: none;
}

a.small-navigation {
	color: #999999;
	text-decoration: none;
}

a.small-navigation:hover {
	color: #FF9900;
}

a.navigation {
	color: #666666;
	border-width: 0px 0px 0px 5px;
	border-color: #DEDEDE;
	border-style: solid;
	text-decoration: none;
	display: block;
	padding: 3px 0px 3px 5px;
	text-align: left;
	font-weight: normal;
}

a.navigation:hover {
	border-color: #599BC5;
	background-color: #EFEFEF;
}


h1 {
	font-size: 140%;
	font-weight: bold;
	margin: 0px 0px 15px 0px;
	padding: 2px 50px 0px 0px;
	border-width: 0px 0px 1px 0px;
	border-style: solid;
	border-color: black;
	background-color: #FFFFFF;
}

#PageHeader {
	text-align: left;
	font-family: Helvetica, Calibri, Verdana, Arial, sans-serif;
	font-weight: bold;
	margin: 0px 0px 10px 0px;
	padding: 0px 50px 0px 0px;
	background-color: #FFFFFF;
}

#PageHeader h1 {
	font-size: 200%;
	font-weight: bold;
	margin: 0px 0px 0px 0px;
	padding: 0px 50px 0px 0px;
	border-width: 0px 0px 0px 0px;
}

/* Trying to have a margin between profile picture and header text. Should require modifying #PageHeader h1 too, but fails.
#PageHeader p {
	margin: 10px 5px;
}
*/

#content h1 {
	color: black;
	font-size: 150%;
}

#header {
	padding: 5px 0px 5px 0px;

	background-color: #FFFFFF;
}

hr {
	width: 100%;
	height: 0px;
	text-align: center;
	border-color: #CCCCCC;
	border-style: dashed;
	border-width: 0px 0px 1px 0px;
}

p {
	padding: 0px;
	margin: 0px 0px 10px 0px;
}


/* Display border for tables and their individual cells.*/
/*
table, td, th {
	border: 1px solid black;
}
*/

/* For more space between table cells.*/
table {
	border-collapse: separate;
	border-spacing: 8px 30px;
}

td {
	vertical-align: center;
}

.thumbnail {float: left; padding-top: 0.2em; padding-left: 0.5em;  line-height:.3em;}

#profilepic {
	width: 30%;
	max-width: 150px;
	height: 100%;
	padding: 5px 0px 0px 0px;
	float: left;
}

#icon {
	width: 240px;
/*	height: 180px; */
}

#award {
        color: black;
        font-weight: bold;
}

.sidenote {
	font-size: 75%;
}