.language-script[data-v-68a36e51],.language-script[data-v-700f5d25],.language-script[data-v-7e311c84],.language-script[data-v-a9f5a9ca],.language-script[data-v-b5275140]{font-family:var(--language-font,Georgia,serif)}@media(hover:hover)and (pointer:fine){.copy-button[data-v-b5275140]{opacity:0}.copy-button[data-v-b5275140]:focus,.group:hover .copy-button[data-v-b5275140]{opacity:1}}