Removing Verdana font file. It's copyrighted by Microsoft and we cannot redistribute it. I'm substituting it by FreeMono which is a free as in freedom font. I'm not sure it's adequate, but that's a quick way to solve the legal issue. If you have a better font that is also free (as in freedom) we can further improve it. A good place to look for free fonts is Google.com/webfonts