somewhat friendlier purge/update names in feed editor

[tt-rss.git] / prefs.php

diff --git a/prefs.php b/prefs.php
index 05775ddfef315c7cfad6d0af28582eb07493da06..e5c941f423303eddf626b8f240f2861820d54e5a 100644 (file)
--- 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>