/*
 This stylesheet is requested by JSP pages that have not had their default
 style overridden in header.jsp.  Leave it here, or the server log will fill
 with "File not found" errors.
*/