GigaBots/Dashboard_Mindstorm — pull request #20 by dibaggioj (2014-07-16 17:25:19+00:00)
Title: Update styling

Better text editor resize handling