Multiple UI Improvements

2015-12-15 21:12:19 +05:00
--- a/web/static/images/themes/code_themes/github.png
+++ b/web/static/images/themes/code_themes/github.png
--- a/web/static/images/themes/code_themes/githubLarge.png
+++ b/web/static/images/themes/code_themes/githubLarge.png
--- a/web/static/images/themes/code_themes/monokai.png
+++ b/web/static/images/themes/code_themes/monokai.png
--- a/web/static/images/themes/code_themes/monokaiLarge.png
+++ b/web/static/images/themes/code_themes/monokaiLarge.png
--- a/web/static/images/themes/code_themes/solarized_dark.png
+++ b/web/static/images/themes/code_themes/solarized_dark.png
--- a/web/static/images/themes/code_themes/solarized_darkLarge.png
+++ b/web/static/images/themes/code_themes/solarized_darkLarge.png
--- a/web/static/images/themes/code_themes/solarized_light.png
+++ b/web/static/images/themes/code_themes/solarized_light.png
--- a/web/static/images/themes/code_themes/solarized_lightLarge.png
+++ b/web/static/images/themes/code_themes/solarized_lightLarge.png