/* stale stylesheet: the current build replaces this */