Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2006-06-15 22:55:56 -0700 (Thu, 15 Jun 2006) Revision: 9326 Log message:
A slightly different take on the HTML header/footer. Jason, what do you think?