1
2#xxrightbar{
3    position: fixed;
4    top: 3em;
5    right: 0;
6    display: none;
7}
8#xxpageid{
9    font-size: 90%;
10}
11
12#xxdictck{
13    font-size: 75%;
14}
15#xxsearch{
16    font-size: 90%;
17}
18
19#xxrightbar .xxresult{
20    overflow-y: scroll;
21    height: 900px;
22}
23
24#xxrightbar #dw__toc{
25    margin: 0px;
26}
27
28