gergo85 f4b9cbfca3 Optimized images ...

All images optimalized via PNGGauntlet. The image quality unchanged, but
the files became smaller.

2014-12-01 12:20:04 +01:00

..

css

Minor UX improvement

2014-08-05 17:52:45 +11:00

images

Optimized images

2014-12-01 12:20:04 +01:00

js

Fix 'File was changed' modal so 'Reload' and 'Save' buttons actually work.

2014-11-12 14:28:34 +00:00

less

Minor UX improvement

2014-08-05 17:52:45 +11:00