summaryrefslogtreecommitdiff
path: root/prefs.php
diff options
context:
space:
mode:
Diffstat (limited to 'prefs.php')
-rw-r--r--prefs.php6
1 files changed, 6 insertions, 0 deletions
diff --git a/prefs.php b/prefs.php
index 8235805d5..451e981dc 100644
--- a/prefs.php
+++ b/prefs.php
@@ -45,6 +45,12 @@
<script type="text/javascript" src="pngfix.js"></script>
<![endif]-->
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+
+ <script type="text/javascript">
+ if (navigator.userAgent.match("Opera")) {
+ document.write('<link rel="stylesheet" type="text/css" href="opera.css">');
+ }
+ </script>
</head>
<body>