@font-face {
  font-family: "TimesNewRomanLocal";
  src: url("TimesNewRoman.ttf") format("truetype");
}