PythonEditor
PythonEditor copied to clipboard
Lower bound media-query broken in IE10
When the horizontal viewport is <890px the CSS changes to reduce the size of the buttons. This works fine in Chrome and Firefox, but it breaks in IE10.
Chrome:

IE10:

With the new buttons:
