ev3dev/ev3dev.github.io — pull request #15 by WasabiFan (2014-09-07 07:26:31+00:00)
Title: Update styles and fix other display issues

I moved over the styles that I had (somewhat unintentionally) included in the wrong PR. This also fixes a few rendering issues on mobile devices.