aboutsummaryrefslogtreecommitdiffstats
path: root/linkHints.js
diff options
context:
space:
mode:
Diffstat (limited to 'linkHints.js')
-rw-r--r--linkHints.js15
1 files changed, 0 insertions, 15 deletions
diff --git a/linkHints.js b/linkHints.js
index 420a65b5..dd80d6bf 100644
--- a/linkHints.js
+++ b/linkHints.js
@@ -268,18 +268,3 @@ function addMarkerFor(link, linkHintNumber, linkHintDigits) {
document.body.appendChild(marker);
return marker;
}
-
-/*
- * Adds the given CSS to the page. TODO: This may belong in the core vimium frontend.
- */
-function addCssToPage(css) {
- var head = document.getElementsByTagName("head")[0];
- if (!head) {
- console.log("Warning: unable to add CSS to the page.");
- return;
- }
- var style = document.createElement("style");
- style.type = "text/css";
- style.appendChild(document.createTextNode(css));
- head.appendChild(style);
-}