It's SJCL, a pretty popular JS crypto library.
Having a file encrpyt to an HTML file is pretty interesting, something I've never considered before. Very portable.
Here is one of my projects playing with that concept: https://github.com/srpeck/markdowned