#targetBox[data-v-0fa13e14]{text-align:center}#stdout[data-v-0fa13e14]{padding-top:10px;padding-left:20px;text-align:left}#search[data-v-0fa13e14]{padding:20px;font-size:110%}input[data-v-0fa13e14]{width:50%}button[data-v-0fa13e14],input[data-v-0fa13e14]{padding:10px;margin:10px;font-size:inherit}pre[data-v-0fa13e14]{white-space:pre-wrap}