/* DATEI: tux1.css */

body {
  font-family:Verdana;
  background-color:#0000FF;
  margin:0px;
  border:0px;
}

a {
  text-decoration: none;
  color:#A00000;
  font-weight:bolder;
}

table {
  background-color:#0000E0;
}

td,th {
  background-color:white;
  border: 1px solid black;
  padding-left:5pt;
  padding-right:5pt;
}

table.main {
  width:800px;
  background-color:#0000E0;
  border:2px solid black;
}

td.titel {
  background-color:#0000E0;
  border:none;
}

td.navigation {
  width:150px;
  background-color:#0000E0;
  font-size:8pt;
  border:none;
}

td.inhalt {
  width:500px;
  background-color:#F0F0F0;
  border:1px solid black;
  font-size:10pt;
}

td.links {
  width:150px;
  background-color:#0000E0;
  font-size:8pt;
  border:none;
}



div.navigation {
  border:1px solid gray;
  background-color:#F0F0F0;
  padding:2pt;
}

div.links {
  border:1px solid gray;
  background-color:#F0F0F0;
  padding:2pt;
}

td.subnavigation {
  background-color:#0000E0;
  font-size:6pt;
  border:none;
}

h1.titel {
  text-align:center;
  font-size:20pt;
  font-weight:bold;
  text-align:center;
  color:#DD0000;
  background-color:#000080;
  padding:1pt;
  margin:5pt;
}

h1 {
  text-align:center;
  font-size:16pt;
  font-weight:bold;
  text-align:center;
  color:#000080;
}

h2 {
  text-align:center;
  font-size:14pt;
  font-weight:bold;
  text-align:center;
  color:#000080;
}

h3 {
  text-align:center;
  font-size:12pt;
  font-weight:bold;
  margin-left:20pt;
  text-align:left;
  color:#000080;
}

h4 {
  text-align:center;
  font-size:10pt;
  font-weight:bold;
  text-align:left;
  margin-left:10pt;
  color:#000080;
}

h5 {
  text-align:center;
  font-size:8pt;
  font-weight:bold;
  text-align:left;
  margin:2pt;
  color:#000080;
}

p,ul,ol {
  padding:0pt;
  margin-left:0pt;
  margin-right:0pt;
}

li {
  margin-left:20pt;
}
small.subnavigation {
}

div.beispiel {
  border:1px solid black;
  font-size:8pt;
  background-color:#E0E0E0;
  padding:5pt;
  margin-top:5pt;
}

div.code {
  border:1px solid black;
  font-size:8pt;
  background-color:white;
  padding:5pt;
  margin-top:5pt;
}

div.syntax {
  border:1px solid black;
  font-size:8pt;
  background-color:#FF8080;
  font-weight:bold;
  padding:5pt;
  margin-top:5pt;
}

div.console {
  border:1px solid gray;
  font-size:8pt;
  background-color:black;
  color:white;
  font-weight:bold;
  padding:5pt;
  margin-top:5pt;
}

pre {
  padding:0pt;
  margin:0pt;
}