minor style tweak, degrades more gracefully with other themes