Change terms for meanings/symbols/etc on instructor quiz and course pages; style tweaks to quiz pages