(Bug 5073) Make the header space smaller on tiny screens