Added loading gif for glossary list, and prettify.js for example code syntax highlighting.