Removed pretty, using highlightjs for everything instead. Rebuilt docs