From bb9387946cb573123a33541eb01b90fd8f9a744d Mon Sep 17 00:00:00 2001
From: jez
Date: Tue, 28 Dec 2010 18:17:26 +0800
Subject: 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.
---
 vimiumFrontend.js | 4 ++--
 1 file 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";
-- 
cgit v1.2.3