Idea: Make a new widget, inheriting from gridbox and adding styling
assigned to @stehr01
closed with commit 8a746739