Merge pull request #6080 from RosettaCommons/koepnick/foldit_campaign_scrollbar [Foldit] Bugfix campaign scrollbar