Enable copy button for shell sessions and consoles - #295

Enable copy button for shell sessions and consoles#295

hugovk merged 2 commits into

python:mainpython/python-docs-theme:mainfrom

hugovk:copybutton-shellhugovk/python-docs-theme:copybutton-shellCopy head branch name to clipboard