Keep unknown/plugin config options; only skip officially obsoleted ones

Thomas Bruederli

2013-07-17 68eb1835e8f88b5375cf431c44571c79da1c5702

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; 
}