Hello @immergruen,
Sincere apologies for the extremely long wait, we have been a bit shorthanded and on the other hand overwhelmed with work during this covid situation.
That really depends on your code.
One solution would be to use a child theme (https://docs.oceanwp.org/article/90-sample-child-theme), copy the files you want to edit into the child theme’s folder and then insert your codes.
The other solution, and perhaps the easiest one, would be to use a plugin like Woody (available in WordPress repository) to insert custom codes across the entire website.
Hope this helps. Best of luck with your website