Corrected a flickering issue when loading page; highlightjs is now re-initialized after each ajax page load
Updated revision