About the Red style

Most of the stylesheets on this website are able to change their background colour with hardly any work, because the graphics I use at the top are semitransparent, so they blend-in nicely with whatever background happens to be beneath them

However, Internet Explorer doesn't support semi-transparent images, which means I need to make a special "dumbed-down" copy that IE can understand. So this is just the normal almien style, but in a fixed colour