.sourceHead{display:block}.sourceHead,.sourceHead *{text-decoration:none}.sourceHead:hover{filter:brightness(.97)}html[data-theme=dark] .sourceHead:hover{filter:brightness(1.12)}.sourceSummary{scroll-margin-top:90px}@media (max-width:620px){.sourceSummary{scroll-margin-top:170px}}