Gildas 7ba7e57e28 made button border more visible vor 7 Jahren
..
content-ui.js 775e25b631 added !important to inline styles vor 7 Jahren
infobar.js 7ba7e57e28 made button border more visible vor 7 Jahren