There's a file that contains setting for the gui element's position. However, there doesn't seem to be anything about scale in there... I'll poke someone more competent than me about it.
I plan on getting a 4K display soon, so I'd love to know how to scale it, or if it's even possible.