Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix line highlighting on web-dev page (#11251)
Be consistent with css highlight. ![image](https://github.com/user-attachments/assets/19f76503-3d66-4ddb-9803-3f92682ec3c2) I think highlighting `shape: BoxShape.circle`, will be better?
- Loading branch information