Change Animation Recording Output Size

Me and my colleague are working on an arctic - animation. He is working on an 1080p Monitor, im working on 4k. Therefore, my viewportsize is around 3700x2000, while his is at ~1400x800. If we record animations, the output images are in the format of the viewport. Is there a way of setting the animation output format - like on ViewCaptureToFile? We already tried to change the render settings, but it doesn’t effect the arctic view.
Thank you!

Yeah… you only get viewport resolution in the built in animation tools - they are pretty simple tools…