/* Body ========================================================= */
/*html{background-color: whitesmoke;} */
body{	
	margin-left:auto;
	margin-right:auto;
	width: 800px;
	background-color: ghostwhite; 
}

/* Heading ========================================================= */
h1{Color: teal;border-bottom:2px solid;}
h3{Color: teal;border-left:10px solid;}
h4{Color: maroon}


/* language ========================================================= */
div.lang{	
	float: right;
	top: 20px; 
	left: 670px;
	padding:0px;
	margin:0px;
	width: 150px;
	height: 30px;
	overflow: hidden;
}

div.lang a{
 	display:block; float:right;
 	width:150px; 
  	height:30px;
  	padding:0px; 
  	margin-right:0px;
  	background: teal;
  	line-height:30px; 
  	vertical-align:middle;
  	text-align:center;
  	text-decoration:none;
}
div.lang a:hover{
    background:darkseagreen;
}
div.lang a:link { color: white }       /* unvisited link */
div.lang a:visited { color: white }   /* visited links */
div.lang a:active { color: white }    /* active links */

/* Navigation ========================================================= */
div.nav
{	padding:0px;
	margin:0px;
	top: 0;
	left: 0;
	width: 800px;
	height: 32px;
	overflow: auto;
	background: lightgray;
}
div.nav a{
 	display:block; 
	float:left;
 	width:195px; 
  	height:30px;
  	padding:0px; 
  	margin:1px;
	border-left:1px solid lightgray;
  	background: teal;
  	line-height:30px; 
  	vertical-align:middle;
  	text-align:center;
  	text-decoration:none;
}
div.nav a:hover{
    background:darkseagreen;
}
div.nav a:link { color: white }       /* unvisited link */
div.nav a:visited { color: white }   /* visited links */
div.nav a:active { color: white }    /* active links */

/* ToTop ========================================================= */
#totop,
#close{
clear:both;
text-align:right;
margin:0 20px 0 0;
padding:3px 0 0 0;
}

/* Paragraph ========================================================= */
p {text-indent: 1em;}

/* Publication List ========================================================= */
ol.pub li {
margin-bottom: 10px;
}

ul.pub li {
margin-bottom: 10px;
}

/* *** ========================================================= */
/* *** ========================================================= */