tree b9b3efb023bc7093a2e81676b4b8b7da00a21ce3
parent e51444e259e8a9278e2c3947082e899e811f4521
author avm99963 <me@avm99963.com> 1598896592 +0200
committer avm99963 <me@avm99963.com> 1598896592 +0200

Make the profile indicator dot bigger

Suggested at pekb/thread/67965396?msgid=68050669.

Change-Id: I9b7da7675bacc3679556da6e4eab2752a04dd318