Sorry I don’t know what are default values for those options… I just know, that if you erase them from avast! ini file, everything will be set to default (colors, etc.)
You should ask Igor, Pavel or Vlk regarding that…