docs: def _get_ANSI_colored_font( color ):
      ''' Returns an ANSI escape code (a string) corresponding to switching the font
          to given color, or None, if the given color could not be associated with 
          the available colors.
          
          See also:
            https://en.wikipedia.org/wiki/ANSI_escape_code#Colors
            http://stackoverflow.com/questions/287871/print-in-terminal-with-colors-using-python
      '''
      color = (color.replace('-','')).lower()
      #
      #   Bright colors:
      #
      if color == 'white':
          return '\033[97m'
      elif color in ['cyan', 'aqua']:
          return '\033[96m'
      elif color in ['purple', 'magneta', 'fuchsia']:
          return '\033[95m'
      elif color == 'blue':
          return '\033[94m'
      elif color in ['yellow', 'gold']:
          return '\033[93m'
      elif color in ['green', 'lime']:
          return '\033[92m'
      elif color == 'red':
          return '\033[91m'
      #
      #   Dark colors:
      #
      elif color in ['grey', 'gray', 'silver']:
          return '\033[37m'
      elif color in ['darkcyan', 'teal']:
          return '\033[36m'
      elif color in ['darkpurple', 'darkmagneta']:
          return '\033[35m'
      elif color in ['darkblue', 'navy']:
          return '\033[34m'
      elif color in ['darkyellow', 'olive']:
          return '\033[33m'
      elif color == 'darkgreen':
          return '\033[32m'
      elif color in ['darkred', 'maroon']:
          return '\033[31m'
      return None