tr[data-v-78ce4bc2]:hover{background-color:#f9fbfd}.pre-formatted{white-space:pre}.dynamic-height[data-v-ddcbeaa4]{height:calc(var(--calculated-vh, 1vh)*100 - 280px)!important}