From 7da6f3b21290961f93d326f2fdc538916a5e2290 Mon Sep 17 00:00:00 2001 From: czaks Date: Fri, 8 Aug 2014 23:24:04 +0200 Subject: [PATCH] styling: webm-settings: remove extraneous --- js/webm-settings.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/js/webm-settings.js b/js/webm-settings.js index cecf36d0..3e792741 100644 --- a/js/webm-settings.js +++ b/js/webm-settings.js @@ -39,7 +39,7 @@ var settingsMenu = document.createElement("div"); settingsMenu.style.textAlign = "right"; settingsMenu.style.background = "inherit"; -settingsMenu.innerHTML = ''+_('WebM Settings')+'' +settingsMenu.innerHTML = ''+_('WebM Settings')+'' + '
' + '
' + '
' @@ -77,11 +77,11 @@ for (var i = 0; i < settingsItems.length; i++) { if (settingsMenu.addEventListener) { settingsMenu.addEventListener("mouseover", function(e) { refreshSettings(); - settingsMenu.getElementsByTagName("span")[0].style.fontWeight = "bold"; + settingsMenu.getElementsByTagName("a")[0].style.fontWeight = "bold"; settingsMenu.getElementsByTagName("div")[0].style.display = "block"; }, false); settingsMenu.addEventListener("mouseout", function(e) { - settingsMenu.getElementsByTagName("span")[0].style.fontWeight = "normal"; + settingsMenu.getElementsByTagName("a")[0].style.fontWeight = "normal"; settingsMenu.getElementsByTagName("div")[0].style.display = "none"; }, false); }