Lightened proof border a bit.
Fixed section tracking. Cleaned up javascript. Exposed most things as options in Mathbook constructor.
Removed old javascript files.
Merge branch 'feature/espy' into develop