CI

Fix tab body background not being rounded #418

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
miri	51s
tests (ubuntu-latest)	54s
tests (macos-latest)	1m 0s
tests (windows-latest)	3m 54s
	6m 39s