Merge branch 'master' into frontend-ui
Adds JSON pretty-print with awesome colours
Adds more pretty colours, merges the css files. Changes apperance of scroll bars
Updates the config and removes high-mem tag from dromaeo-dom
Merge branch 'frontend-ui'