openwebwork/webwork2 — pull request #511 by aorinevo (2014-10-24 06:33:40+00:00)
Title: Page size issue #446

This fixes #446. I also found a similar problem with the select for themes under the General tab.