This extra style sheet is no longer needed.
77e28a79524f579eee2a488f0390be31652f03b6 greatly expanded it size.
It is unclear whether that was needed.