For some reason the banner (and theme) of this site has been disabled along with two other sites of mine. For no apparent reason, these banners and modified themes stopped working after a year. I'm looking into this situation and am asking for help for the wikidot community, but so far no solution. If anyone has any ideas or expertise, please contact me. I can make you an admin.