Crop the dots out of the header banner.

This commit is contained in:
Ben Sturmfels 2021-10-13 21:30:02 +11:00
parent fca73608c2
commit 128529dc6a
Signed by: bsturmfels
GPG key ID: 023C05E2C9C068F0

Binary file not shown.

Before

Width:  |  Height:  |  Size: 39 KiB

After

Width:  |  Height:  |  Size: 25 KiB