BTW, the font looks huge on smaller desktop browser windows: http://i.imgur.com/08ntU0K.png
(Most of the time, I use half my screen for the browser and half for my terminal)
(Most of the time, I use half my screen for the browser and half for my terminal)