/* theme: default (no override file) */