On 24/01/2008, David Gerard dgerard@gmail.com wrote:
Swapping out the file would be best, yes. Otherwise, any sysop could set up some JS to find div.magnify img tags and rewrite the image to something else. "Something else" needs to be 15x11 px, though I suppose it could also be made larger if necessary. (an ugly nasty waste of client computation. Then again, it could be done that way for testing without causing wiki-war-3)
I just did some experimentation on a local MediaWiki. A blue circle-i looks like rubbish (and, worse, non-obvious) below about 15px, so whatever expects 15x11 would need fixing too. I got a nice 15x15 circle-i, though (better than merely scaling an SVG).
How about a circled + sign? Should be equally obvious.
[Some screenshots would be nice, too...]