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