Add more options to aceEditor; add highlighting function to marked
Include the highlight.js library
Styling