set backgroundcolornavy= { colorname | #rgbspec}

This preference determines the color value used to display the background (shading) color named navy. The value is either a named color or an RGB specification preceded by #.