/**
 * 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;
}