a.nodec:hover	{ background-color: white; text-decoration: none; }

.menuimage {
	border-width: 0px;
	text-align: center;
}
.papertext {
	font-weight: bold;
	margin-bottom: 8px;
	margin-left: 25px;
}
.paperjahr {
	color: #009966;
	font-weight: bold;
}
.papercontent {
	margin-top: 0px;
	margin-bottom: 20px;
	margin-left: 25px;
}
a img.pdf {
	height: 16px;
	width: 16px;
	border-width: 0px;
	margin-left: 10px;
}