/* InnoviData Wiki style */
body {
    background-color: #EEEEEE;
    color: #112255;
    font-size: normal;
}
td.headline {
    font-size: xx-large;
}
h1,h2,h3,h4,h5 {
    background-color: #DDDDDD;
    padding-left: 3pt;
    margin-top: 2pt;
    margin-bottom: 8pt;
    border-style: none;
    border-width: thin;
    width: 100%;
}
h1 {
    font-size: x-large;
}
h2 {
    font-size: x-large;
    padding-left: 6pt;
}
h3 {
    font-size: larger;
    padding-left: 12pt;
}
h4 {
#    font-size: large;
    padding-left: 24pt;
}
h5 {
    padding-left: 48pt;
}
a:link {
    color: #225599;
}
a:visited {
    color: #000077;
}
a.nonexistent {
    font-weight: bold;
    color: #FF2222;
}
a.nonexistent:visited {
    color: #FF2222;
}
a.external {
    color: #225599;
}
dl,ul,ol {
    margin-top: 1pt;
}
tt,pre {
    font-family: monospace;
}
pre.code {
    margin-top: 8pt;
    margin-bottom: 8pt;
    background-color: #FFFFEE;
    white-space: pre;
    border-style: solid;
    border-width: 1pt;
    border-color: #999999;
    color: #111111;
    padding: 5px;
    width: 95%;
}
div.diffold {
    background-color: #FFFF80;
    border-style: none;
    border-width: thin;
    width: 100%;
}
div.diffnew {
    background-color: #80FF80;
    border-style: none;
    border-width: thin;
    width: 100%;
}
div.message {
    margin-top: 6pt;
    background-color: #E8FFE8;
    border-style: solid;
    border-width: 1pt;
    border-color: #999999;
    color: #440000;
    padding: 5px;
    width: 95%;
}
strong.highlight {
    background-color: #FFBBBB;
/* as usual, NetScape fucks up with innocent CSS
    border-color: #FFAAAA;
    border-style: solid;
    border-width: 1pt;
*/
}

table.navibar {
    background-color: #C8C8C8;
    border-spacing: 3px;
}
td.navibar {
    background-color: #E8E8E8;
    vertical-align: middle;
    text-align: right;
    padding: 0px;
}
a.navibar {
    text-decoration: none;
}
font.navibar {
    font-size: small;
}

/* begin css for MonthCalendar macro */
/* days without and with pages linked to them */
a.cal-emptyday {
    color: #777777;
    text-align: center;
}
a.cal-usedday {
    font-weight: bold;
    color: #000000;
    text-align: center;
}
/* general stuff: workdays, weekend, today */
td.cal-workday {
    background-color: #DDDDFF;
    text-align: center;
}
td.cal-weekend {
    background-color: #FFDDDD;
    text-align: center;
}
td.cal-today {
    background-color: #CCFFCC;
    border-style: solid;
    border-width: 2pt;
    text-align: center;
}
/* invalid places on the monthly calendar sheet */
td.cal-invalidday {
    background-color: #CCCCCC;
}
/* links to prev/next month/year */
a.cal-link {
    color: #000000;
    text-decoration: none;
}
th.cal-header {
    background-color: #DDBBFF;
    text-align: center;
}
/* end css for MonthCalendar macro */