user.vlx has the color coding specification.
The majority of the other settings are in Slick-C variables, which can be found in vusrdefs.e (vunxdefs.e on linux and other unix platforms).
Aliases can be found in the language specific alias file ([lang].als).