/* Gainesville arcade page-specific refinements. */