document.write('<link rel="stylesheet" type="text/css" href="'+stylepath+'/'+skin+'/Opera6Fixes.css">');
} else if (is_opera_seven && !is_opera_95) {
document.write('<link rel="stylesheet" type="text/css" href="'+stylepath+'/'+skin+'/Opera7Fixes.css">');
- } else if (is_opera_95) {
- document.write('<link rel="stylesheet" type="text/css" href="'+stylepath+'/'+skin+'/Opera95Fixes.css">');
} else if (is_khtml) {
document.write('<link rel="stylesheet" type="text/css" href="'+stylepath+'/'+skin+'/KHTMLFixes.css">');
}
+++ /dev/null
-/**
- * One tweak for Opera 9.5 carried over from Opera 7. This seems to be exactly
- * the same rule as is used for #bodyContent a.external normally, why do we
- * need it? Someone should compare with and without and remove this file en-
- * tirely if appropriate.
- */
-#bodyContent a.external {
- background: url(external.png) center right no-repeat;
- padding-right: 13px;
-}