added Prism.js highlighter, extended it with a sage mode, some css fixes for code, switched pre/code to be correct