.header[data-v-72d9df28]{cursor:pointer}.header[data-v-72d9df28]:hover{background-color:#e2e2e3}.selected[data-v-72d9df28]{background-color:#e2e2e3;border-bottom:none}.body pre[data-v-72d9df28]{margin:7px 0}@media (max-width:1440px){.body pre[data-v-72d9df28]{margin:0}}