/* This CSS definition and its relevant page comes under author's law. */
/* Public distribution is allowed only with proper approval of author. */
body {
  background:Black;
  margin:8px 12px 42px 12px;
  padding:0;
  font-size:0.8em;
  font-family:Verdana, sans-serif;
}
a:link, a:visited {
  color:#FE3E24;
  text-decoration:none;
}
a:hover { color:Gray; }
#pageframe {
  border:2px solid #13719D;
  background:White;
}
#header {
  color:White;
  padding:4px 0 2px 6px;
  font-size:0.7em;
  text-align:right;
}
#title_main {
  background:#0E4E6C url(img/title_main.gif) 20px 20px no-repeat;
  height:102px;
}
#title_eng {
  background:#0E4E6C url(img/title_eng.gif) 20px 20px no-repeat;
  height:102px;
}
#title_ger {
  background:#0E4E6C url(img/title_ger.gif) 20px 20px no-repeat;
  height:102px;
}
#menu {
  background:#13719D url(img/bgblue.gif) no-repeat;
  color:White;
  font-weight:bold;
  padding:2px 2px 2px 8px;
  font-size:0.8em;
}
.menuline {
  padding:3px 0 3px 12px;
  background:url(img/arrow.gif) left no-repeat;
}
#menu a:link, #menu a:visited {
  color:White;
  text-decoration:none;
}
#menu a:hover { text-decoration:underline; }
#text a:link, #text a:visited {  text-decoration:underline; }
#text {
color:Black;
padding:0 15px;}

#footer {
  border-top:1px solid gray;
  font-size:0.8em;
  color:Gray;
  margin:20px 20px;
  padding:1em;
  text-align:right;
}
h2 {
  background:url(img/square.gif) no-repeat left;
  font-size:1.1em;
  padding:0 0 0 20px;
  margin:2em 0;
}
h1 { display : none}

@media print {
        h1      {display: inline;}
        #title {display: none;  }
        #pageframe {border: 0;}
        #menu {display: none;}
}