Although there is a PR pending, added one as well, hope it's okay.
Added copy buttons for console and shell commands. Also added copy buttons on the Download page.
Minimum code changes, no new styles added, button adding functionality is moved to a separate function, so it can be further reused with different code blocks.
Comments aren't copied (like in an example below), nor are the promts.
I saw @prashantpandey9's PR, but decided to start the contribution from scratch. I think it's better not to modify existing styles but to reuse them where necessary.
Fixes #1276
Although there is a PR pending, added one as well, hope it's okay.
Added copy buttons for console and shell commands. Also added copy buttons on the Download page. Minimum code changes, no new styles added, button adding functionality is moved to a separate function, so it can be further reused with different code blocks.
Comments aren't copied (like in an example below), nor are the promts.![12023-12-06_21-30](https://github.com/django/djangoproject.com/assets/23117124/f4017871-98f1-4561-9f71-4101da938bba)