/* Compatibility stylesheet: this file is referenced by the frontend layout. */