karlproject/karl — pull request #104 by pauleveritt (2012-12-03 17:23:38+00:00)
Title: Make grid and search options font larger

Looks good on karldev