.anchor {
}
.anchor_super {
    font-size: xx-small;
    margin: 0;
    padding: 0;
    vertical-align: super;
}
br.spacer {
}
.clear {
    clear: both;
    margin: 0;
}
span.diff_added {
    background-color: inherit;
    color: #0000FF;
}
span.diff_removed {
    background-color: inherit;
    color: #FF0000;
}
hr.short_line {
    border-color: #333333;
    border-style: solid;
    border-width: 1px 0;
    text-align: center;
    width: 80%;
}
h5.side_label {
    text-align: center;
}
ul.navi {
    margin: 0;
    padding: 0;
    text-align: center;
}
li.navi_none {
    display: inline;
    float: none;
}
li.navi_left {
    display: inline;
    float: left;
    text-align: left;
}
li.navi_right {
    display: inline;
    float: right;
    text-align: right;
}
td.vote_label {
    background-color: #FFCCCC;
    color: inherit;
}
td.vote_td1 {
    background-color: #DDE5FF;
    color: inherit;
}
td.vote_td2 {
    background-color: #EEF5FF;
    color: inherit;
}
#container {
    margin-left: auto;
    margin-right: auto;
    text-align: left;
    width: 99%;
}
#wrapper {
    float: left;
    margin-right: -162px;
    width: 100%;
}
#content {
    float: right;
    margin-left: -160px;
    width: 100%;
}
div#menubar {
    float: right;
    overflow: hidden;
    width: 160px;
    word-break: break-all;
}
#menubar div.menubox {
    font-size: 90%;
    margin-bottom: 4px;
    padding: 0 0 0.3em;
    width: 160px;
}
p {
    margin: 0 0 0.5em;
}
#menubar p {
    line-height: 130%;
    margin: 0 0 1em;
}
#content div.contentbox {
    margin-bottom: 0.5em;
    margin-left: 164px;
    margin-right: 0;
}
.table_left .style_table {
    margin: auto auto auto 0;
}
.table_center .style_table {
    margin: auto;
}
.table_right .style_table {
    margin: auto 0 auto auto;
}
.table_left div.ie5 {
    text-align: left;
}
.table_center div.ie5 {
    text-align: center;
}
.table_right div.ie5 {
    text-align: right;
}
.menubox .style_th, .menubox .style_td {
    margin: 0;
    padding: 1px;
}
