Ralf Becker 332d4e5a42 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
..
navbar18.png	implement topmenu hook	2007-01-23 23:35:12 +00:00
navbar.png