Highlighting Dynamic Parts Of A Pretty-Printed JSON Value