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