@font-face { font-family: "Times New Roman ALT"; 
 src: local('TimesNewRoman'), url('fonts/TimesNewRoman.ttf'), format(ttf); }