font/color tweaks; integration of company-mode