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