New shell script to modify user preferences

Thomas Bruederli

2012-11-19 fa981985ee372e69b1b14a6b6bdde97697086cde

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