/* Shared stylesheet: authored by the shell model. */