From 50ed25a6d9053799ed607835a1203cc84fcc3ff7 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sat, 28 Jul 2018 07:19:19 +0530
Subject: [PATCH] Dont assume head exists

---
 src/pyj/editor.pyj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pyj/editor.pyj b/src/pyj/editor.pyj
index b1d583cccc..2860ce4475 100644
--- a/src/pyj/editor.pyj
+++ b/src/pyj/editor.pyj
@@ -256,7 +256,7 @@ class PreviewIntegration:
         if window is window.top:
             setTimeout(self.connect_channel, 10)
         document.body.addEventListener('click', self.onclick, True)
-        document.head.appendChild(E.style(
+        document.documentElement.appendChild(E.style(
             type='text/css',
             '[data-in-split-mode="1"] [data-is-block="1"]:hover { cursor: pointer !important; border-top: solid 5px green !important }'
         ))