h1 {
	width: 100%;
	border-bottom: 2px solid black;
	background-color: silver;
	text-align: center;
	margin-bottom: 0;
	margin-top: 0;
	padding-top: 5pt;
	padding-bottom: 5pt;
}

h2 {
	width: 100%;
	margin-top: 0;
	margin-left: 0%;
	padding-left: 2em;
	border-bottom: 2px solid black;
	font-size: 110%;
}

body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	margin: 0;
	font-size: 85%;
	}

.page {
	margin: 0 10% 0 10%;
	margin-top: 1em;
}

a {
	text-decoration: none;
}

a:visited {
	color: blue;
}

a:hover {
	background-color: silver;
}

h2 a {
	padding-right: 6pt;
	padding-left: 6pt;
	font-weight: normal;
}

h2 a:hover {
}

.nav {
	border-bottom: 2px solid black;
	display: block;
	margin: 0;
	padding-left: 2em;
}

.nav li {
	display: inline;
}

.nav .here {
	border-bottom: solid red 2px;
}

li {
	list-style: outside;
}

ul {
	text-indent: 0px;
}

.papers li {
	margin-bottom: 1em;
}

table {
	font-size: 85%;	
	padding: 0;
	border-collapse: collapse;
	margin: 1em;
}

td {
	padding-left: 4px;
	padding-right: 4px;
}

.urgent {
	color: red;
	font-weight: bold;
}

.imagebox {
	float: left;
	margin-right: 1em;}

.langmenu {
	position: absolute;
	border: 2px solid black;
	border-top: none;
	border-left: none;
	height: 1em;
	width: 1em;
}

.descr {
	border-left: 2px solid black;padding-left: 0.5em;	margin-top: 0.5em;
}
