Improvements to PR merge "add option show_real_foldernames"

Aleksander Machniak

2013-06-11 85e65c3c7672d0e56ada988a047f0f602ba0c964

1
2
3
4
5
input.radio {border:1px none #000; background:transparent; vertical-align:middle;} 
.panel_wrapper div.current {height:80px;} 
#width {width:50px; vertical-align:middle;} 
#width2 {width:50px; vertical-align:middle;} 
#size {width:100px;}