/* Survey widget styles — see [survey_widget] in includes/survey.php.
 * Paste existing styling for `#survey-widget`, `.survey-option`, `.survey-bar`,
 * `.survey-percentage`, `#see-peer-answers` here.
 */