Note to any other reviewers: this code was migrated from khan-site.css.