Code review comment for lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539

Please update the comments before the changes, to include a link/bugid to where the issue is described, and make sure we have a good report displaying the issue. This helps us later on to determent if the code is still relevant.