* {
   color: black;
   background-color: white;
   font-family: Arial, Helvetica, Verdana, sans-serif;
}

h2, h3 {
   color: navy;
   margin-bottom: 1.5em;
}

p {
   margin-bottom: 2em;
}

hr {
   margin-bottom: 1.5em;
}

a {
   color: rgb(100,100,100);
   text-decoration: none;
}

a:hover {
   background: rgb(230,230,230);
}

b {
   color: navy;
}

small {
   font-size: x-small; /* oder doch "xx-small" ? */
}

table {
   border-style: none;
}

table.title { /* Anwendung: <table class=title> ... </table> */
   width: 100%;
}

tr {
   vertical-align: top;
}

td.hspace { /* typischerweise: <td class=hspace></td> */
   width: 3em;
}

td.left { /* Anwendung: <td class=left> ... </td> */
   text-align: left;
}

td.right { /* Anwendung: <td class=right> ... </td> */
   text-align: right;
}

ul { 
   list-style-type: circle; 
   margin-bottom: 2em;
   margin-left: -1.4em;
}

ul ul { 
   list-style-type: none; 
   margin-bottom: 0em;
   margin-left: -0.5em;
}

p.centered { /* Fuer reine Foto-Seiten. Anwendung: <p class=centered> ... </p> */
   text-align: center;
   font-size: small;
}

p.centered img {
   margin-top: 12em;
   margin-bottom: 1.5em;
}

pre {
   font-size: small;
   font-family: Courier, monospace;
   margin-bottom: 2em;
}

code {
   font-size: inherit;
   font-family: Courier, monospace;
}

div.emergency { /* Anwendung abgesetzt: <div class=emergency> ... </div> */
   color: red;
   font-size: larger;
   font-weight: bold;
}

span.emergency { /* Anwendung im Fliesstext: <span class=emergency> ... </span> */
   color: red;
   font-weight: bold;
}