changed font size on extension
Merge branch 'ui' of https://github.com/richardneal/Hyperflask into ui