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