[IPython-dev] website banner filename change

[Klonuo]

On Thu, 23 Jun 2011 22:53:46 +0100
Thomas Kluyver <takowl at gmail.com> wrote:

> On 23 June 2011 22:25, Fernando Perez <fperez.net at gmail.com> wrote:
> 
> >
> > It seems safest simply to name it something else, like header_logo, or
> > anything that doesn't match an aggressive *banner* regexp...
> 
> 
> Done. It's now IPy_header.png :-)
> 
> Thomas

Sorry forgot previously to mention necessity of more top padding for
logo/header