 Gildas
|
9d7ff4be7b
minor UI changes
|
7 lat temu |
|
Gildas
|
e380f1f008
use box-sizing: border-box for the body
|
7 lat temu |
|
Gildas
|
39d27d9531
redesigned options page
|
7 lat temu |
|
Gildas
|
6b1a19cdb3
set 2nd level option margin to 10px
|
7 lat temu |
|
Gildas
|
a4fc395bd9
added an option to disable max size limit
|
7 lat temu |
|
Gildas
|
c9aa95e547
added 'maximum size of embedded resource" option
|
7 lat temu |
|
Gildas
|
080d1d82b0
set max-width style for the main div
|
7 lat temu |
|
Gildas
|
f5e3f9bb69
better looking options page in Firefox
|
7 lat temu |
|
Gildas
|
c0d4281c69
minor UI fixes
|
7 lat temu |
|
Gildas
|
a95fe1c45a
replaced options page with embedded options page
|
7 lat temu |
|
Gildas
|
e11548173b
bump version :)
|
7 lat temu |
