Mediawiki export now respects theme fg and bg editor window colours