.contents summary{font-weight:750;cursor:pointer;margin-bottom:8px}.contents nav{max-height:72vh;overflow:auto}.contents a{border-left:2px solid transparent;padding-left:8px}.contents a[aria-current=true]{border-left-color:currentColor}
