Glad you like the theme. You can delete (or preserve it somewhere in case you need them later to change certain styles to custom font of your own) the lines below the following –
@import url(“../extinct/style.css”);
in the style.css file in the child theme directory. That should help revert back to old font that you would have chosen in the options panel.