Those of you browsing using the "Office Hours" style may notice a change in the header. The links you had up there were out of date, so I switched the header to be the same as the rest of the site.
Happy browsing, whatever style you're using
Happy browsing, whatever style you're using