vibrant theme: override list style none, for numbered lists.#2435