joomla/joomla-cms — pull request #487 by okonomiyaki3000 (2012-10-09 03:42:47+00:00)
Title: Improve the appearance of codemirror 

by adding a border and using 'box-sizing: border-box;'

Fix for this: http://joomlacode.org/gf/project/joomla/tracker/?action=TrackerItemEdit&tracker_item_id=29469