2017-08-18 16:11:37 -07:00

15 lines
297 B
HTML

<html id="page">
<head>
<link rel="import" href="../docs.html">
</head>
<body>
</body>
</html>
<script>
var link = document.querySelector('link[rel="import"]');
var content = link.import;
document.getElementById('page').innerHTML = content.documentElement.innerHTML;
</script>