disable infobox overlay

1 files changed, 3 insertions, 0 deletions

diff --git a/prefs.php b/prefs.php
index 05775ddfe..e5c941f42 100644
--- a/prefs.php
+++ b/prefs.php
@@ -57,6 +57,9 @@
 		if (navigator.userAgent.match("Opera")) {
 			document.write('<link rel="stylesheet" type="text/css" href="opera.css">');
 		}
+		if (navigator.userAgent.match("Gecko") && !navigator.userAgent.match("KHTML")) {
+			document.write('<link rel="stylesheet" type="text/css" href="gecko.css">');
+		}
 	</script>
 </head>