div[class*=highlight-] .copy-button,div.highlight .copy-button,div.literal-block-wrapper .copy-button{bottom:10px;float:right;font-size:.875em;left:10px;position:relative;visibility:hidden;z-index:1}div[class*=highlight-]:hover .copy-button,div.highlight:hover .copy-button,div.literal-block-wrapper:hover .copy-button{visibility:visible}div[class*=highlight-] .chroma .copy-button button,div.highlight .chroma .copy-button button,div.literal-block-wrapper .chroma .copy-button button{padding:.5rem}div[class*=highlight-] button,div.highlight button,div.literal-block-wrapper button{background:var(--pst-color-surface);border:none;color:var(--pst-color-text-base)}div[class*=highlight-] button:not(.clicked):hover::before,div.highlight button:not(.clicked):hover::before,div.literal-block-wrapper button:not(.clicked):hover::before{content:"Copy "}div[class*=highlight-] button.clicked::before,div.highlight button.clicked::before,div.literal-block-wrapper button.clicked::before{content:"Copied "}div[class*=highlight-] button::after,div.highlight button::after,div.literal-block-wrapper button::after{content:var(--fa-copy);font:var(--fa-font-regular)}