 Gildas
|
00ecbf0dee
reduced font size on Chrome
|
hace 7 años |
|
Gildas
|
93ca5431bc
made options "screen" larger and more transparent
|
hace 7 años |
|
Gildas
|
79eaa8f5e2
fixed rendering issues on Firefox mobile
|
hace 7 años |
|
Gildas
|
9d7ff4be7b
minor UI changes
|
hace 7 años |
|
Gildas
|
e380f1f008
use box-sizing: border-box for the body
|
hace 7 años |
|
Gildas
|
39d27d9531
redesigned options page
|
hace 7 años |
|
Gildas
|
6b1a19cdb3
set 2nd level option margin to 10px
|
hace 7 años |
|
Gildas
|
a4fc395bd9
added an option to disable max size limit
|
hace 7 años |
|
Gildas
|
c9aa95e547
added 'maximum size of embedded resource" option
|
hace 7 años |
|
Gildas
|
080d1d82b0
set max-width style for the main div
|
hace 7 años |
|
Gildas
|
f5e3f9bb69
better looking options page in Firefox
|
hace 7 años |
|
Gildas
|
c0d4281c69
minor UI fixes
|
hace 7 años |
|
Gildas
|
a95fe1c45a
replaced options page with embedded options page
|
hace 7 años |
|
Gildas
|
e11548173b
bump version :)
|
hace 7 años |
