[website-dev] search box in the top banner of the home page

[Stefan Taxhet]

Hi,

you will have noticed that our site is suffering from the huge demand.
Especially servlets and other dynamically rendered elements are putting 
load on the machine.

So we would like to remove the search box in the upper right corner of 
the home page.

Christian, could you take care of this?

Thanks
Stefan

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]