Open
Description
@gadenbuie suggested that we add a surrounding div to the "copy code" buttons. A clear use case is that extensions might want an obvious place to add their own buttons, and having a div with a simple selector (div.code-actions) is a great solution.
In addition, our code-copy button currently lives inside a pre element. Ideally, it'd be in the surrounding div, though that will require fixing the CSS once again.