Style patches for 404 page, misc code cleanup.