html{scroll-padding-top:150px}.reference{color:#000000de;text-decoration:underline;cursor:pointer}.reference:hover{color:#000}@media (prefers-color-scheme: dark){.reference{color:#e8e8f0de}.reference:hover{color:#e8e8f0}}[data-theme=dark] .reference{color:#e8e8f0de}[data-theme=dark] .reference:hover{color:#e8e8f0}