CSS tweak to prepare for programmatically-generated exercises
merge