From bcc513fe57b527cec9d5a063d811e67169af0335 Mon Sep 17 00:00:00 2001 From: Aryeh Gregor Date: Sun, 30 Dec 2007 20:54:34 +0000 Subject: [PATCH] Per comment in Opera95Fixes.css, remove it; it's useless. No discernable difference in Opera 9.5 Alpha build 1567/Linux, and logically there should be no difference in any browser. --- skins/common/wikibits.js | 2 -- skins/monobook/Opera95Fixes.css | 10 ---------- 2 files changed, 12 deletions(-) delete mode 100644 skins/monobook/Opera95Fixes.css diff --git a/skins/common/wikibits.js b/skins/common/wikibits.js index a04ca2c5ba..cdb5c9defc 100644 --- a/skins/common/wikibits.js +++ b/skins/common/wikibits.js @@ -44,8 +44,6 @@ if (typeof stylepath != 'undefined' && typeof skin != 'undefined') { document.write(''); } else if (is_opera_seven && !is_opera_95) { document.write(''); - } else if (is_opera_95) { - document.write(''); } else if (is_khtml) { document.write(''); } diff --git a/skins/monobook/Opera95Fixes.css b/skins/monobook/Opera95Fixes.css deleted file mode 100644 index 6048c66c60..0000000000 --- a/skins/monobook/Opera95Fixes.css +++ /dev/null @@ -1,10 +0,0 @@ -/** - * 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; -} -- 2.20.1