diff --git a/opera.css b/opera.css deleted file mode 100644 index 27e748dc2..000000000 --- a/opera.css +++ /dev/null @@ -1,27 +0,0 @@ -table.main td.headlines { - height : 35%; - border-width : 0px 0px 1px 1px; - border-style : solid; - border-color : #c0c0c0; -} - -/* #infoBoxShadow { - background-image : url("images/overlay.png"); - left : 0; - top : 0; - height : 100%; - width : 100%; - z-index : 3; - position : absolute; - display : none; -} - -#infoBox { - font-size : small; - position : relative; - top : 30%; - left : 30%; - width : 30%; - padding-bottom : 5px; -} */ - diff --git a/prefs.js b/prefs.js index 820c31eac..8c0d2fbe1 100644 --- a/prefs.js +++ b/prefs.js @@ -1217,9 +1217,6 @@ function init() { try { - if (arguments.callee.done) return; - arguments.callee.done = true; - if (getURLParam('debug')) { Element.show("debug_output"); debug('debug mode activated'); diff --git a/prefs.php b/prefs.php index 91f813b85..d8118c4c1 100644 --- a/prefs.php +++ b/prefs.php @@ -49,14 +49,13 @@ - + +
@@ -85,13 +84,6 @@ - -