zodiac/appspot-grading — pull request #18 by sarabander (2012-12-15 00:10:09+00:00)
Title: Font size and colors

I put the color changes in theme.css so it can be easily included or dropped. You were right to choose 1.3 em for code lines and revert font scaling. It looks better this way. My situation with tiny font was an anomaly. I tested 10 other monospace fonts, they render fine. 1.5 em is too much for some of them. Oh, and I put in some book-style double quotes near the beginning. Just for testing. Looks better than pairs of single quotes.