skies are done with models, this allows for much more elaborate distant scenery with animated elements too. worldspawn has properties for them "skydome" and "skydetail", "models/nightsky.iqm" and "models/polarsky.iqm" are some skydomes and "models/aurora.iqm" is an example of a skydetail
