div.highlight{position:relative}button.copybutton{position:absolute;top:0.4em;right:0.4em;padding:0.3em 0.4em;background:var(--color-background-secondary,#f0f0f0);border:1px solid var(--color-foreground-border,#ccc);border-radius:4px;cursor:pointer;opacity:0;transition:opacity 0.2s,background 0.15s;line-height:1;color:var(--color-foreground-secondary,#555)}div.highlight:hover button.copybutton,button.copybutton:focus{opacity:1}button.copybutton:hover{background:var(--color-background-hover,#e0e0e0)}button.copybutton.copied{color:var(--color-brand-primary,#2980b9);opacity:1}button.copybutton svg{display:block;pointer-events:none;fill:currentColor}