These are the default settings; the colors may differ if the used color scheme is changed or modified