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
navbar.png