added prettify, and docs div