How to make the filterType: checkbox rendering more compact?

Hello,

We're using MUIDataTable for a while now, because that's the best table-oriented component the previous front developer had chosen.
Now he's not here, we have to try our best to make it meet our users' expectation.

That's why I'm opening a few issues regarding various aspects of customization of MUIDataTable.
For this purpose, I've forked your Codesandbox and created a little showcase of all our issues:
https://codesandbox.io/s/muidatatables-misc-requests-4vkxk

We also have a custom "single-checkbox" filter, implemented in our example as the "Retired" column.
[Note: the values backing this column have the meaning of "active", not "retired", as it works as an opposite boolean - but check how it works, it's fine for us].
Apart from the custom cell rendering and the custom filter function, we rely on the default rendering for this checkbox-filter.

How can we get a more compact display?

Current:

Expected: