body {
  width:750px;
  margin:0px; 
  padding:0px;
  font-size:14px;
  font-family:Arial,sans-serif;
}

p {
  text-align:justify;
}

h1 {
  text-align:center;
  font-size:24px;
  font-weight:bold;
  color:#990000; 
}

h2 {
  font-size:20px;
  color:#990000; 
}

h3 {
  font-size:16px;
  color:#990000; 
}

ul {
  list-style-image:url(/bullet_square.png)
}

ul.house {
  list-style-image:url(/li_house.png)
}

span.highlight {
  font-style:italic;
  color:#990000; 
}


.content_top {
  padding-top:10px;
}

.content {
  padding:15px;
  font-size:13pt;
}

/* a group (or only one) photos on the left of the text */
div.picture_group {
  float:right;
  margin-left:15px; 
}

.picture {
  border:2px solid #bbbbdd; 
  margin-bottom:6px;
}

/* multicolum text, organized in a table */
td.multi_col_text {
  vertical-align:top;
  border-left:1px solid #cccccc;
  padding:5px;
}

/* small gray box for highlighting text */
.graybox {
  padding:5px;
  margin:10px;
  background-color:#cccccc;
  border:1px solid gray;
  font-style:italic;
}

/* header line of country/town selection boxes */
.redboxheader {
  background-color:#990000;
  text-align:center;
  vertical-align:center;
  padding:2px;
}

.header {
  text-align:center; 
  vertical-align:center; 
  padding:8px;
}

.mainmenubutton {
  width:100px;
  text-align:left;
  padding-left:5px;
}

.mainmenu {
  background-color:#990000; 
  border-top:1px solid #990000;
}

/* text, that is being displayed, when user points 
   at a country/town (heading) */
.map_desc_head { 
  text-align:center; 
  font-size:13px;
  font-weight:bold;
}

/* text, that is being displayed, when user points 
   at a country/town (description) */
.map_desc_text {
  font-size:12px;
  font-style:italic;
}

.submenu_button {
  margin-left:12px;
  margin-top:2px;
  margin-bottom:2px;
  padding:0px;
}

div.delimiter {
  border-bottom: 2px solid gray;
  margin-top:5px;
  margin-bottom:35px;
  margin-left:25px;
  text-align:right;
  padding-right:15px;
}

.hotelbox {
  margin-top:15px; 
  margin-bottom:5px; 
  margin-left:0px; 
  margin-left:0px;
}