/* stale stylesheet; JavaScript entrypoint will refresh the page */