use toStyledString from jsoncpp