fix an ugly thing in the docs stylesheet