Repository navigation

Fix code copy button covering code annotation marker - #15136

Merged

cderv merged 4 commits into

mainfrom

fix/issue-13444

Oct 22, 2026

Merged

Fix code copy button covering code annotation marker#15136
cderv merged 4 commits into
mainfrom
fix/issue-13444

Commits on Oct 21, 2026
- Add playwright test for copy button covering annotation marker
  cderv
  committed
  b5e53db
- Keep the code copy button clear of the annotation gutter
  cderv
  committed
  6f4faf6
- Move #13444 changelog entry to the html section
  cderv
  committed
  69fce03
- Size the annotated copy button margin in the code font size
  cderv
  committed
  4a18e9d