JS plugins for highlighting and indentation