diff options
Diffstat (limited to 'linkHints.js')
| -rw-r--r-- | linkHints.js | 15 |
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); -} |
