Remove old mozilla hack

diff --git a/stylesheets/wikibits.js b/stylesheets/wikibits.js
index efcd746..ba8ce1d 100644 (file)
--- a/stylesheets/wikibits.js
+++ b/stylesheets/wikibits.js
@@ -74,27 +74,3 @@ function toggleToc() {
        }
 }
 
-/* CHECK MERGE @@@ */
-/* Temporary hack for Mozilla bug; revert to quirks mode handling of <hr> */
-if(navigator.userAgent &&
-   navigator.userAgent.indexOf('Gecko') != -1 &&
-   navigator.userAgent.indexOf('KHTML') == -1) {
-       document.writeln(
-       '<style type="text/css">\n' +
-       'hr {\n' +
-       '  display: inline;\n' +
-       '  -moz-box-sizing: border-box;\n' +
-       '  margin: 0 0.1% 0 0.1%;\n' +
-       '  font-size: -moz-initial !important;\n' +
-       '}\n' +
-       'hr:before {\n' +
-       '  white-space: pre;\n' +
-       '  content: "\\A";\n' +
-       '}\n' +
-       'hr:after {\n' +
-       '  white-space: pre;\n' +
-       '  content: "\\A";\n' +
-       '}\n' +
-       '</style>');
-}
-