<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>