| <!doctype html> | |
| <html> | |
| <head> | |
| <style> | |
| @font-face { | |
| font-family: 'times'; | |
| src: local('Lucida Grande'); | |
| } | |
| body { | |
| margin: 1ex; | |
| } | |
| </style> | |
| </head> | |
| <body> | |
| <script> | |
| var idx = document.querySelector("body").tabIndex; | |
| </script> | |
| Fetching tabIndex should not cause a crash when involving font-relative units on the body element of the document. | |
| </body> | |
| </html> |