Create HEAD element if it is not present.

Allows us to inject CSS when viewing some non-HTML documents, e.g.
images. Does not work on SVG documents though.

1 files changed, 2 insertions, 2 deletions

diff --git a/vimiumFrontend.js b/vimiumFrontend.js
index e72764fe..e3c28371 100644
--- a/vimiumFrontend.js
+++ b/vimiumFrontend.js
@@ -799,8 +799,8 @@ Tween = {
 function addCssToPage(css) {
   var head = document.getElementsByTagName("head")[0];
   if (!head) {
-    console.log("Warning: unable to add CSS to the page.");
-    return;
+    head = document.createElement("head");
+    document.documentElement.appendChild(head);
   }
   var style = document.createElement("style");
   style.type = "text/css";