Gildas 7ba7e57e28 made button border more visible vor 7 Jahren
..
core 1b45cbee7f removed obsolete code vor 7 Jahren
ui 7ba7e57e28 made button border more visible vor 7 Jahren
index.js 69273d1390 fixed issue on Firefox vor 7 Jahren