Clean up highlighter theme - remove some old interface code from post.js - less keyline in the apperance of the interface overall