method color_of_element = function
      |        ME (Element_module _) -> color_module#get
      |        ME (Element_module_type _) -> color_module_type#get
      |        ME (Element_included_module _) -> color_included_module#get
      |        ME (Element_value _) -> color_value#get
      |        ME (Element_type _) -> color_type#get
      |        ME (Element_exception _) -> color_exception#get
      |        ME (Element_module_comment _) -> color_comment#get
      |        ME (Element_class _) -> color_class#get
      |        ME (Element_class_type _) -> color_class_type#get
      |        CE (Class_attribute _) -> color_value#get
      |        CE (Class_method _) -> color_value#get
      |        CE (Class_comment _) -> color_comment#get