UI: Update small button CSS to use space better. (#213)
UI: Update small button CSS to use space better. (#213)


bbcmicrobit/PythonEditor,bbcmicrobit/PythonEditor,bbcmicrobit/PythonEditor,bbcmicrobit/PythonEditor