font used by small terms
add php-mode to automode