a:link {
 font-family: Arial;
 font-size: 10pt;
 text-align: justify;
 color: #200040;
 word-spacing: 0;
 text-indent: 0;
 line-height: 140%;
 margin-left: 0;
 margin-right: 0;
 margin-top: 0;
 margin-bottom: 0;
 letter-spacing: 0;
}
a:visited {
 font-family: Arial;
 font-size: 10pt;
 text-align: justify;
 color: #200040;
 word-spacing: 0;
 text-indent: 0;
 line-height: 140%;
 margin-left: 0;
 margin-right: 0;
 margin-top: 0;
 margin-bottom: 0;
 letter-spacing: 0;
}
.body-index {
 font-family: Arial;
 font-size: 10pt;
 text-align: center;
 color: #200040;
 word-spacing: 0;
 text-indent: 0;
 line-height: 150%;
 margin-left: 0;
 margin-right: 0;
 margin-top: 0;
 margin-bottom: 0;
 letter-spacing: 0;
}
.body-hotel-rest-groß {
 font-family: Arial;
 font-size: 11pt;
 text-align: justify;
 color: #200040;
 word-spacing: 0;
 text-indent: 0;
 line-height: 140%;
 margin-left: 0;
 margin-right: 0;
 margin-top: 0;
 margin-bottom: 0;
 letter-spacing: 0;
}
.body-hotel-rest {
 font-family: Arial;
 font-size: 10pt;
 text-align: justify;
 color: #200040;
 word-spacing: 0;
 text-indent: 0;
 line-height: 140%;
 margin-left: 0;
 margin-right: 0;
 margin-top: 0;
 margin-bottom: 0;
 letter-spacing: 0;
}
.body-hotel-rest-klein {
 font-family: Arial;
 font-size: 6.0pt;
 text-align: justify;
 color: #200040;
 word-spacing: 0;
 text-indent: 0;
 line-height: 140%;
 margin-left: 0;
 margin-right: 0;
 margin-top: 0;
 margin-bottom: 0;
 letter-spacing: 0;
}
.body-hotel-rest-kleiner {
 font-family: Arial;
 font-size: 7pt;
 color: #200040;
 word-spacing: 0;
 text-indent: 0;
 line-height: 140%;
 margin-left: 0;
 margin-right: 0;
 margin-top: 0;
 margin-bottom: 0;
 letter-spacing: 0;
}
html, body, textarea {
  scrollbar-base-color:#E4EFFA;
  scrollbar-3d-light-color:#E4EFFA;
  scrollbar-arrow-color:#200040;
  scrollbar-darkshadow-color:#E4EFFA;
  scrollbar-face-color:#E4EFFA;
  scrollbar-highlight-color:#E4EFFA;
  scrollbar-shadow-color:#E4EFFA;
  scrollbar-track-color:#E4EFFA;
}
.body-hotel-rest-center {
 font-family: Arial;
 font-size: 10pt;
 text-align: center;
 color: #200040;
 word-spacing: 0;
 text-indent: 0;
 line-height: 140%;
 margin-left: 0;
 margin-right: 0;
 margin-top: 0;
 margin-bottom: 0;
 letter-spacing: 0;
}