Hello, www.d.o has bug #127849 open about GIF because of dislike for the format. However I was wondering if now when the navbar is made with CSS, can we remove gif's from the CVS repository and close the bug? -- Tommi Vainikainen