.active-section[data-v-e25de93f]{font-weight:700}.active-section[data-v-e25de93f]:hover{cursor:default;color:#a54210}@media only screen and (min-width:1280px){.article-jump-to-section[data-v-e25de93f]{border-bottom:1px solid #e0e0e0;padding-bottom:40px;margin-bottom:24px}}