Prettyjson editable: courier new font