code-dot-org/blockly — pull request #62 by cpirich (2013-09-19 21:57:06+00:00)
Title: update maze size changes and apply to karel

Fixed earlier maze size changes to work with the common resize function
Applied changes from maze over to karel
Updated those changes to resize the gameButtons div width as well
Fixed existing typo on button padding (tyle -> style)