switched to dark higjlight.js for nicer print and screenreading