[doc css] Fix more flakiness in header