I'm implementing devpi. I'd like to keep default theme, but add my logo, just this. I see procedure on documentation. I copy a logo.gif in static folder, and add the code in templates folder, in macros.pt, but when i start the server, no logo. Where am i wrong please?