simplified mobile version for use with proofmode and other projects - View it on GitHub