improved font / styling on the Docker progress dialog (from Ronald)