1.docnavbar {
2    padding: 0.2em 0;
3    overflow:auto;
4}
5.docnavbar.showtoc {
6    border-top: 1px solid __border__;
7    border-bottom: 1px solid __border__;
8    margin: 1em 0;
9}
10.docnavbar .leftnav {
11    float:left;
12    width: 33%;
13}
14.docnavbar .centernav {
15    width: 34%;
16    float:left;
17    text-align: center;
18}
19.docnavbar .rightnav {
20    float:right;
21    width: 33%;
22    text-align: right;
23}