Gildas e318c96237 integrated css-what.js 7 lat temu
..
core e318c96237 integrated css-what.js 7 lat temu
ui 93ca5431bc made options "screen" larger and more transparent 7 lat temu
index.js 69273d1390 fixed issue on Firefox 7 lat temu