Table formatting

[Marc]

Fyi. I’ve added an alternative data grid to the awesome-panel-extensions package. It might also be an option.

See Awesome-panel.org change log

A PR has been opened to get this into Panel.