/* theme colours: defaults */