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