NC: proof correx; add app style sheet