Board Thread:Adminship/@comment-5106053-20131205223703/@comment-14329490-20131208002325

i don't think we should change it and just let people change their own fonts. that way everyone is happy :D