Fix bug with Headers and change HighlightJS theme