better mode line on this theme variant