Thanks Peter for your response!
Since I posted my question I also discovered that the header panel (aka
"masthead) is controled by the script
On Thu, May 3, 2012 at 10:16 AM, Peter Briggs <peter.bri...@manchester.ac.uk
> Hi Pascal
> I didn't see anyone else reply to this, but for our local Galaxy install I
> use the "front page" in static/welcome.html as a place to put information
> on usage policies and recent changes.
> There are also some options in universe_wsgi.ini:
> - "logo_url" sets the URL that’s linked from the Galaxy logo in the
> masthead (I set it to the URL for the local installation)
> - "brand" sets text that's appended to the "Galaxy" title in the masthead
> There is also a "static_style_dir" parameter which sets where the CSS
> files are found, by default these are in /static/june_2007_style/blue - I
> didn't change this but I have edited some of the styles in base.css and
> panel_layout.css to change the colours for the local Galaxy.
> Hope this is some help, best wishes
> On 30/04/12 11:07, Pascal Maugeri wrote:
>> I m running my own Galaxy instance and I would like to do some simple
>> customization of the web interface such as adding my logos in the header
>> frame, changing background colors, etc.
>> I am having a look to static/ folders but I can't see clearly where the
>> header frame is defined.
>> Could you please tell me if there is any tutorial for doing so? Any
>> starting point? Or which folder/file(s) corresponds to the web interface
>> in the distribution?
>> Best Regards,
>> Please keep all replies on the list by using "reply all"
>> in your mail client. To manage your subscriptions to this
>> and other Galaxy lists, please use the interface at:
> Peter Briggs peter.bri...@manchester.ac.uk
> Bioinformatics Core Facility University of Manchester
> B.1083 Michael Smith Bldg Tel: (0161) 2751482
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at: