.toc-button[data-v-a3a00a1b]{z-index:10;position:sticky;top:80px;right:0}.depth_2[data-v-a3a00a1b]{margin-left:0}.depth_3[data-v-a3a00a1b]{padding-left:1rem!important;font-size:80%!important}.depth_4[data-v-a3a00a1b]{padding-left:1.5rem!important;font-size:70%!important}