# General display settings, like default colors