* expandtab for promela files
* use a different color temperatur setting