/* Deployment custom themes are rendered here by the server setup wizard. */