2 Commits

Author	SHA1	Message	Date
Zanie Blue	78df14e7a8	Add support for anchor redirects with client-side js (#9212) ... The redirect plugin doesn't support this, and it's not feasible to do server-side so we need to do the redirect client-side with some javascript.	2024-11-19 22:32:43 -06:00
eth3lbert	89947681d1	Improve copy of console command examples (#5397) ... ## Summary This PR improves the copy of the console command example by: - Preventing the selection of generic prompts and generic output - Lazily setting copy content by leveraging intersection observer Most of the changes are inspired by https://github.com/opensafely/documentation/pull/1461 Some other useful refs: - https://github.com/squidfunk/mkdocs-material/issues/3647 - https://mkdocstrings.github.io/recipes/#prevent-selection-of-prompts-and-output-in-python-code-blocks Resolves #5355 ## Test Plan - ``` shell-session mkdocs serve -f mkdocs.public.yml ``` - Navigate to http://localhost:8000/uv/first-steps/#viewing-the-version - Try clicking the copy button - Try copying by selecting the content --------- Co-authored-by: Zanie Blue <contact@zanie.dev>	2024-07-31 14:52:02 +00:00