html, body, div {
	font-family: Verdana, "Times New Roman", Times, serif;
	font-size: 11px;
	color: black;
}
#head div {
	font-family: Garamond, "Times New Roman", Times, serif;
	font-size: 15px;
	color: #900C20;
}
#head a {
	font-family: Garamond, "Times New Roman", Times, serif;
	font-size: 15px;
	color: #900C20;
	text-decoration: none;
}
#head a:hover {
	font-family: Garamond, "Times New Roman", Times, serif;
	font-size: 15px;
	color: #900C20;
	font-weight: bold;
	text-decoration: none;
}
#menu a {
	color: #900C20;
	width: 165px;
	height: 24px;
	margin-top: 3px;
	display: block;
	text-indent: 30px;
	border-bottom: 1px solid #900C20;
	text-decoration: none;
}
#menu a:link {
	color: #900C20;
	text-indent: 30px;
	border-bottom: 1px solid #900C20;
	text-decoration: none;
}
#menu a:hover {
	color: #900C20;
	background-color: #fffff0;  /* #fffff8 */
	text-indent: 20px;
	font-weight: bold;
	text-decoration: none;
}
.aktiv {
	display: block;
	width: 165px;
	height: 24px;
	margin-top: 3px;
	border-bottom: 1px solid #900C20;
	color: #900C20;
	background-color: #fffff0;  /* #fffff8 */
	text-indent: 20px;
	font-weight: bold;
	text-decoration: none;
}
#foot a {
	font-family: Garamond, "Times New Roman", Times, serif;
	font-size: 13px;
	color: #900C20;
	text-decoration: none;
}
#foot a:hover {
	font-family: Garamond, "Times New Roman", Times, serif;
	font-size: 13px;
	color: #900C20;
	font-weight: bold;
	text-decoration: none;
}
.hotel {
	font-family: Garamond, "Times New Roman", Times, serif;
	font-size: 17px;
	font-weight: bold;
	text-transform: uppercase;
	color: #000;
	letter-spacing: 4px;
}
.erfurt {
	font-family: Garamond, "Times New Roman", Times, serif;
	font-size: 12px;
	text-transform: uppercase;
	color: #000;
	letter-spacing: 2px;

}
h1 {
	font-family: Garamond, "Times New Roman", Times, serif;
	font-size: 18px;
	font-weight: bold;
	color: #000;
	margin-top: 20px;
	margin-bottom: 15px;
	border: 0px solid red;
}
h2 {
	margin-top: 5px;
	margin-bottom: 0px;
	font-family: Verdana, "Times New Roman", Times, serif;
	font-weight: normal;
	font-size: 9px;
	color: #CCCC99;
}
h3 {
	font-family: Garamond, "Times New Roman", Times, serif;
	font-size: 19px;
	color: #900C20;
	margin-top: 20px;
	margin-bottom: 15px;
	border: 0px solid red;
	font-style: italic;
}
ul {
    margin-top: 0px;
	margin-bottom: 15px;
}
ul li {
    line-height: 17px;
}
.lineheight {
    line-height: 17px;
}
#text {
	font-family: Verdana, "Times New Roman", Times, serif;
	font-size: 11px;
        line-height: 17px;
}
#text td {
	font-family: Verdana, "Times New Roman", Times, serif;
	font-size: 11px;
        line-height: 17px;
}
.texttable {
	font-family: Verdana, "Times New Roman", Times, serif;
	font-size: 11px;
}
#text a {
	font-family: Verdana, "Times New Roman", Times, serif;
	font-size: 11px;
	color: #900C20;
	text-decoration: underline;
}
#text a:hover {
	font-family: Verdana, "Times New Roman", Times, serif;
	font-size: 11px;
	color: #900C20;
	text-decoration: none;
}
.texttable a {
	font-family: Verdana, "Times New Roman", Times, serif;
	font-size: 11px;
	color: #900C20;
	text-decoration: underline;
}
.texttable a:hover {
	font-family: Verdana, "Times New Roman", Times, serif;
	font-size: 11px;
	color: #900C20;
	text-decoration: none;
}
.texttable a:visited {
	font-family: Verdana, "Times New Roman", Times, serif;
	font-size: 11px;
	color: #900C20;
	text-decoration: none;
}
a:link {
	color: #900C20;
}
a:hover {
	color: #900C20;
}
a:visited {
	color: #900C20;
}
.bildlinks {
	margin-right: 15px;
}
.bildrechts {
	margin-left: 15px;
}