AllTheDucks/jshack — pull request #70 by shaneargo (2014-04-30 13:01:05+00:00)
Title: Increase the Ace text size to match the editor.

Used the !important modifier in the CSS to override changes that to the text size that come in with the theme.