.navigation-tree[data-v-b5a242c9]{-webkit-box-flex:0;border-right:1px solid rgba(0,0,0,.12);-ms-flex:0 0 250px;flex:0 0 250px;height:100%;overflow-y:auto;position:sticky;top:0}@media (max-width:600px){.navigation-tree[data-v-b5a242c9]{-webkit-box-flex:0;border-bottom:1px solid rgba(0,0,0,.12);border-right:none;-ms-flex:none;flex:none;position:static}}