/* This CSS controls presentation details common to all six original themes. */

/* This CSS has been moved to a regular file on the server(s), for
   performance reasons. If it needs to be altered, chat with a god.
   If it doesn't, chat with a god anyway. Gods are people, too. */