Formatting the tree. #137

Should be the colors of the various elements of the tree in the
configuration page?