2019-09-19 07:03:23 +02:00
|
|
|
<html>
|
|
|
|
<head>
|
2019-09-21 03:33:28 +02:00
|
|
|
<meta name="viewport" content="width=device-width">
|
2019-09-19 07:03:23 +02:00
|
|
|
<style>
|
2019-09-21 03:33:28 +02:00
|
|
|
:root {
|
|
|
|
color-scheme: light dark;
|
|
|
|
}
|
2019-09-19 07:03:23 +02:00
|
|
|
</style>
|
|
|
|
<script>
|
2019-09-19 07:53:25 +02:00
|
|
|
function mouseDidEnterLink(anchor) {
|
|
|
|
window.webkit.messageHandlers.mouseDidEnter.postMessage(anchor.href);
|
|
|
|
}
|
2019-09-19 07:03:23 +02:00
|
|
|
|
2019-09-19 07:53:25 +02:00
|
|
|
function mouseDidExitLink(anchor) {
|
|
|
|
window.webkit.messageHandlers.mouseDidExit.postMessage(anchor.href);
|
|
|
|
}
|
2019-09-19 07:03:23 +02:00
|
|
|
|
|
|
|
function render(data) {
|
2019-09-21 02:28:13 +02:00
|
|
|
document.getElementsByTagName("style")[0].innerHTML = data.style;
|
2019-09-19 07:03:23 +02:00
|
|
|
document.body.innerHTML = data.body;
|
2019-09-19 07:53:25 +02:00
|
|
|
window.scrollTo(0, 0);
|
|
|
|
document.getElementsByTagName("body")[0].querySelectorAll("style, link[rel=stylesheet]").forEach(element => element.remove());
|
|
|
|
document.getElementsByTagName("body")[0].querySelectorAll("[style]").forEach(element => element.removeAttribute("style"));
|
2019-09-19 07:03:23 +02:00
|
|
|
}
|
|
|
|
|
2019-09-19 07:53:25 +02:00
|
|
|
function error() {
|
|
|
|
document.body.innerHTML = "error";
|
|
|
|
}
|
2019-09-19 07:03:23 +02:00
|
|
|
</script>
|
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
</body>
|
|
|
|
</html>
|
2019-09-21 03:33:28 +02:00
|
|
|
|