/* This stylesheet is used if the website has a splash page. */