Changed Settings to Use INI Format

Also, starting work on the Mario theme