formatting for config.ini options