.bildrechts {
	margin-top: 0px;
	margin-right: 10px;
	margin-bottom: 3px;
	margin-left: 0px;
}
.tinyrechts {
	margin-bottom: 5px;
	margin-left: 15px;
}
.tinylinks {
	margin-right: 15px;
	margin-bottom: 5px;
}
.hervorheben {
	font-weight: bold;
	text-decoration: none;
}
.highlight {
  background-color: lightblue;
  text-decoration: underline;
}
.important {
  font-weight: bold;
  font-size: 2.1em;
}