I agree. Or at least I thinking I do. When you say header I presume that you meant the tope of the page and hot just the thing inside the <head></head> tags?
My banner does not fit into some of the thinner top frames. However, there are two headers already, one that displayes on the entrance page, one that displays on the other pages, both inside "header.html." I guess that Martin intend the second one to be a short header.
So do we need three headers ?
1) Intro page header
2) Other page header
2) Short header (for frames, popups)
Or should we just extend the use of the Intro page header beyond just the intro page?
And if we include another header, should it be in weblib.php as a printer_short_header or, as in the current fashion, as another alternative header inside header.html?