Hi Hackers!
This patch applies to RM 2644 <https://redmine.postgresql.org/issues/2644>.It fixes the styling of the checkmark area.
Thanks!Sarah