Added http proxy.  Other small fixes
Updated style with new fonts