<?xml version="1.0" encoding="ISO-8859-1"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-US" class="willBeRemoved"> <head> <link rel="stylesheet" type="text/css" href="frame_selection_underline.css"/> <script type="text/javascript"> <![CDATA[ function init(aTest) { var target = document.getElementById("target"); var decoration = document.getElementById("decoration"); var leftSpacer = document.getElementById("leftspacer"); var rightSpacer = document.getElementById("rightspacer"); var docShell = window.QueryInterface(Components.interfaces.nsIInterfaceRequestor) .getInterface(Components.interfaces.nsIWebNavigation) .QueryInterface(Components.interfaces.nsIDocShell); var controller = docShell.QueryInterface(Components.interfaces.nsIInterfaceRequestor) .getInterface(Components.interfaces.nsISelectionDisplay) .QueryInterface(Components.interfaces.nsISelectionController); const nsISelectionController = Components.interfaces.nsISelectionController; if (aTest.selection.isIME) { leftSpacer.style.display = rightSpacer.style.display = "inline-block"; } else { leftSpacer.style.display = rightSpacer.style.display = "none"; } target.style.fontFamily = aTest.font.family; target.style.fontSize = aTest.font.defaultSize; decoration.style.textDecorationStyle = aTest.decoration.styleName; decoration.style.textDecorationColor = aTest.selection.decorationColor; document.documentElement.removeAttribute("class"); setTimeout(function () { document.documentElement.setAttribute("class", "willBeRemoved"); }, 0); } ]]> </script> </head> <body class="reference"> <div id="target"><span id="decoration"><span id="leftspacer"> </span> <span id="rightspacer"></span> </span></div> </body> </html>