I would do the sameSo I quit.
- the theme seems just too difficult to turn into a child theme.
an alternative might be to edit the theme directly and use a custom css plugin for the edited styles (?)
- the theme seems just too difficult to turn into a child theme.