.important
{
  font-weight: bold;
  font-size: 1.2em;
}

.groesser
{
  font-size: 1.2em;
}

.kleiner
{
  font-size: 0.8em;
}

.highlight
{
  background-color: #FFFF99;
}

.rot
{
	color: #FF0000;  
}

.blau
{
	color: #0000FF;  
}

.gruen
{
	color: #00FF00;  
}