.whitespace-pre-line[data-v-3dff9020]{white-space:pre-line}.text-green[data-v-4e6f8253]{color:green}.text-red[data-v-4e6f8253]{color:red}.h1[data-v-4e6f8253]{margin:0;flex-shrink:0}