/* 8/11/04: you may be wondering why all these stylesheet files  */
/* have no real content.  it's because i've decided that         */
/* stylesheets really don't work after all.  so i give up.       */

/* general stylesheet */
/* this file is to be read by ALL pages */

/* headings */

/* subscripts and superscripts */