code: private Map<String,String> fixOptions( Map<String,String> options ) {
  
  		if( options == null )
  			options = new HashMap<> ();
  
  		if( ! options.containsKey( DocConstants.OPTION_IMG_BACKGROUND_COLOR ))
  			options.put( DocConstants.OPTION_IMG_BACKGROUND_COLOR, DocConstants.DEFAULT_BACKGROUND_COLOR );
  
  		if( ! options.containsKey( DocConstants.OPTION_IMG_FOREGROUND_COLOR ))
  			options.put( DocConstants.OPTION_IMG_FOREGROUND_COLOR, DocConstants.DEFAULT_FOREGROUND_COLOR );
  
  		if( ! options.containsKey( DocConstants.OPTION_IMG_HIGHLIGHT_BG_COLOR ))
  			options.put( DocConstants.OPTION_IMG_HIGHLIGHT_BG_COLOR, DocConstants.DEFAULT_HIGHLIGHT_BG_COLOR );
  
  		return options;
  	}
docs: Fixes the options (handle null, add default options if not set, etc).
  @param options the received options
  @return a non-null map of options with the defaults set if necessary