/* Seaside amenity explorer styles are in seaside.css. */