Removed old JavaScript highlighting plugin and replaced with a better one.