/* Gundeinstellungen für gesamtes Dokument */
.body {
    font-size: 1em;
    color: black;
    background-color: white;
    font-family: Helvetica, Arial, sans-serif;
}
/* Grundeinstellungen für Menü-Spalte */
.menu {
    color: white;
    background-color: #1111aa;
}
a.menu:link {
    color: white;
}
a.menu:visited {
    color: white;
}
/* Grundeinstellungen für Inhalts-Spalte */
.content {
    font-family: Helvetica, Arial, sans-serif; /* Netscape 4.x */
}

/* Grundeinstellungen Überschrift des Dokumentes */
.headline {
    font-size: 200%;
    font-weight: bolder;
    font-family: Helvetica, Arial, sans-serif; /* Netscape 4.x */
}
/* Grundeinstellung Zwischenüberschrift */
.bridge {
    font-size: 133%;
    font-weight: bolder;
    font-family: Helvetica, Arial, sans-serif;  /* Netscape 4.x */
    border: none;  /* Netscape 4.x */
    margin: 0%;  /* Netscape 4.x */
    display: block;
    color: white;
    background-color: #1111aa;
}

/* Grundeinstellung dunkle Zwischenüberschrift */
.darkbridge {
    font-size: 133%;
    font-weight: bolder;
    font-family: Helvetica, Arial, sans-serif;  /* Netscape 4.x */
    border: none;  /* Netscape 4.x */
    margin: 0%;  /* Netscape 4.x */
    display: block;
    background-color: #dfdfdf;
}

/* Änderungen für redstar-logo */
.logo {
    font-family: monospace;
}

/* Änderungen für Code */
.code {
    font-size: 133%;
    font-family: monospace;
}

/* Tabelle mit Menü */
table.body {
    width: 80%;
    margin-left: 10%;
    background-color: #fafafa;
}
td.menu {
    margin-top: 0pt;
    padding-top: 0pt;
}
ul.menu {
    list-style-type: none;
    margin-left: 0pt;
    border-left: 0pt;
    padding-left: 0pt;
}