merged prettify.less into docs.less