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