/* Code on the website (code.js): the Copy button in the corner of a block with language tabs. */
.code { position: relative; }
.code-corner > .copy-code { position: absolute; top: 7px; right: 8px; }
.code-corner > .code-tabs { padding-right: 112px; }
.copy-code { flex: none; }
.copy-code:hover { border-color: #8b85ff; }
.copy-code:focus-visible { outline: 2px solid #8b85ff; outline-offset: 2px; }