Adjusted deploy script to take care of webjar files.
Improved pretty print styles.
Removed IE html5 support.