scale alternate layout dots to be visible on hi dpi displays
The pull request consists simply of the patch offered to resolve #32 (closed), for the maintainers' convenience.
The pull request consists simply of the patch offered to resolve #32 (closed), for the maintainers' convenience.