diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-12 20:04:01 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-12 20:05:46 +0200 |
| commit | c9cfc31cfdc5fe5e64b18afb91941b5d4fc63c1c (patch) | |
| tree | 0134c605bf5430b1d82e5b8ad75d45ee5753795d /.github/workflows/docker-debian/debian-dockerfile | |
| parent | 088eb5f137c38bdcde4fc2e80fd40cf7c07fce9b (diff) | |
DocumentWidget: Slightly larger link click regions
Now that links have margins between them, make them easier to hit.
Diffstat (limited to '.github/workflows/docker-debian/debian-dockerfile')
0 files changed, 0 insertions, 0 deletions