div#mainbody {
    margin-left: 10%;
    margin-right: 10%;
}

.plain { }
.bgblack {
    background-color: #000000;
}
.errmsg {
    background-color: #800000;
    color: white;
    padding: 10px;
    border:  1px solid white;
    margin:  5px;
}
.ttterr {
    background-color: #d02020;
    color:   #ffffff;
    padding: 1px;
    border:  0px;
}
.ttt {
    background-color: #d8d8d8;
    color:   #000000;
    padding: 1px;
    border:  0px;
}

p.err,
div.err {
    padding:     4px;
    border:      1px solid white;
    color:       #ffffff;
    background:  #d02020;
}
p.err   a,
div.err a {
    color:      #ffff00;
}
p.err   a:active,
div.err a:active {
    color:      #000000;
}
.err .la {
    color: inherit;
}
p.err   a:visited,
div.err a:visited {
    color:      #ffff00;
}
span.err {
    font-weight: bold;
    padding:     2px;
    border:      1px solid white;
    white-space: pre;
}

p.ok,
div.ok {
    padding:     4px;
    border:      1px solid white;
    color:       #ffffff;
    background:  #20d020;
}
p.ok   a,
div.ok a {
    color:      #ffff00;
}
p.ok   a:active,
div.ok a:active {
    color:      #000000;
}
.ok .la {
    color: inherit;
}
p.ok   a:visited,
div.ok a:visited {
    color:      #ffff00;
}
span.ok {
    font-weight: bold;
    padding:     2px;
    border:      1px solid white;
    white-space: pre;
}

table {
    color: inherit;
}
.spaced {
    margin-left: 0.5ex;
    margin-right: 0.5ex;
}
.bevel {
    border-width: 2px;
    border-left-color:   #ffffff;
    border-top-color:    #ffffff;
    border-right-color:  #808080;
    border-bottom-color: #808080;
    padding: 2px;
    background-color:    #000000;
}
.button {
    border-width: 1px;
    border-left-color:   #ffffff;
    border-top-color:    #ffffff;
    border-right-color:  #000000;
    border-bottom-color: #000000;
    padding: 1px;
    background-color:    #c0c0c0
}
.code {
    border: 1px solid black;
    background-color: #E0E0E0;
    padding: 5px;
    margin: 0px;
    white-space: pre;
}
.code2 {
    border: 1px solid black;
    background-color: #E0E0E0;
    padding: 5px;
    margin: 0px;
}
a[target=_blank] {
    font-style: italic;
}
ul li {
    padding-top:    3px;
    padding-bottom: 3px;
}
dl li {
    padding-top:    3px;
    padding-bottom: 3px;
}
ol li {
    padding-top:    3px;
    padding-bottom: 3px;
}

td[valign=top],    th[valign=top]     { vertical-align: top;    }
td[valign=bottom], th[valign=bottom]  { vertical-align: bottom; }
td[valign=middle], th[valign=middle]  { vertical-align: middle; }td, th {
    /* text-align:  left; */
    vertical-align: baseline;
}

p[align=left]   { text-align: left;   }
p[align=right]  { text-align: right;  }
p[align=center] { text-align: center; }

p {
    text-align: justify;
}

.inline {
    display: inline;
}