/* The original optional back-to-top stylesheet is unavailable on the source server. */