Hugo Locurcio 49c2f2fec2 Make links on the HTML5 editor more readable ...

This also tweaks the focus style to apply to all elements for
better keyboard navigation.

(cherry picked from commit 663466b882)

2021-01-13 16:17:08 +01:00

..

ci

CI: Refactor Android workflow, use pre-installed SDK and NDK

2020-10-23 13:27:44 +02:00

dist

Make links on the HTML5 editor more readable

2021-01-13 16:17:08 +01:00

hooks

Git Hooks: Suppress "which" error messages.

2020-06-10 15:33:27 +02:00

scripts

Update copyright statements to 2021

2021-01-13 16:17:06 +01:00