body {
	font-family: Verdana, Arial, sans-serif;
}

h1 {
  font-family: Arial, sans-serif;
  margin-bottom: 0em;
  text-align: left;
}

h2 {
  font-family: Arial, sans-serif;
  font-size: 180%;
  font-weight: bold;
  margin-bottom: 1em;
  text-align: left;
}

p {
  font-family: Arial, sans-serif;
  font-size: 100%;
  font-weight: normal;
  margin-top: 0.2em;
  margin-bottom: 0.2em;
}


.indented {margin-left:30;}

.original {font-size:90%; margin-bottom:0;color:blue;}

.fullimage {width:100%;height:auto;}
.fullimage img {width:100%}

.transc {font-size: 150%;
  margin-top: 1.0em;
  margin-bottom: 1.0em;}


.backto {font-size:90%; margin-bottom:0;}

.bignumber {font-size:200%;vertical-align:text-top;}

.highlight {
    border: 2px solid red; /* Rote Umrandung */
    padding: 5px; /* Platz innerhalb der Umrandung */
    display: inline-block; /* Verhindert, dass der Rahmen die ganze Breite einnimmt */
  }

.footer,.header {background-color:#8A0808; color:white;
		padding:10px;
		margin-top: 9px;
        margin-right: 0px;
        margin-bottom: 9px;
        margin-left: 0px;
}
.header a {color:white;}
.header a:visited {color:yellow;}

.footer a {color:white;}
.footer a:visited {color:yellow;}


/* Tooltip container */
.tooltip {
  position: relative;
  display: inline-block;
  border-bottom: 1px dotted black; /* If you want dots under the hoverable text */
}

/* Tooltip text */
.tooltip .tooltiptext {
  visibility: hidden;
  width: 120px;
  background-color: black;
  color: #fff;
  text-align: center;
  padding: 5px 0;
  border-radius: 6px;
 
  /* Position the tooltip text - see examples below! */
  position: absolute;
  z-index: 1;
}

/* Show the tooltip text when you mouse over the tooltip container */
.tooltip:hover .tooltiptext {
  visibility: visible;
}