[doc css] More fiddling with the header