Fix stylesheet issue (wrong scrollbar style; unreadable tooltips on MacOS).