latest prettifier.js script from tools branch
prettifying all points