Ralf Becker 8fe24f1e41 some button images for idots too		2014-02-05 17:27:26 +00:00
..
default	some button images for idots too	2014-02-05 17:27:26 +00:00
idots	ignore menuOpened as it is always open on idots	2014-02-05 17:27:09 +00:00
jerryr	removed gif images for which we have a png image available, as png is now supported by all browsers	2014-02-03 14:04:39 +00:00