Tweak Linux theme (issue 7004)