diff options
| author | Armand Philippot <git@armandphilippot.com> | 2022-06-02 18:46:59 +0200 |
|---|---|---|
| committer | Armand Philippot <git@armandphilippot.com> | 2022-06-02 18:46:59 +0200 |
| commit | 7a875655daf9dfa0b4803e287ae59b37ffe4f342 (patch) | |
| tree | 985f9542a07205038bcc45ae80bfd9606cb9f3e2 /public/prism/prism-agda.min.js | |
| parent | 329d5ab3f49d663f40a965af4d29eaa38b9a4a86 (diff) | |
fix: ensure radio buttons are accessible
It seems I cannot use the SVG title as label. So I removed the title
and added a visually hidden span to set the radio buttons label.
Diffstat (limited to 'public/prism/prism-agda.min.js')
0 files changed, 0 insertions, 0 deletions