Improvements to PR merge "add option show_real_foldernames"

Aleksander Machniak

2013-06-11 85e65c3c7672d0e56ada988a047f0f602ba0c964

1
2
3
4
5
6
7
8
9
10
11
.panel_wrapper div.current { 
    height: 290px; 
} 
 
#id, #style, #title, #dir, #hreflang, #lang, #classlist, #tabindex, #accesskey { 
    width: 200px; 
} 
 
#events_panel input { 
    width: 200px; 
}