<html>
<head>
  <style type="text/css" media="screen">
  
    @media screen {
      @font-face {
          font-family: Times;
          src: local("Arial");
      }
    }
  
    body {
      font-family: Times, sans-serif;
    }
  </style>
</head>
<body>
  This should not crash.
</body>
</html>
