add second terminal theme, fix textmate font