Crop the dots out of the header banner.

This commit is contained in:
Ben Sturmfels 2021-10-13 21:30:02 +11:00
parent 50cfb35207
commit 5fdb71dae4

Binary file not shown.

Before

Width:  |  Height:  |  Size: 39 KiB

After

Width:  |  Height:  |  Size: 25 KiB