I eventually changed the H.264 profile to “High” and messed with other settings I wasn’t very sure about. Then, it let me increase the resolution. I think the quality is pretty good, but I think it’s bad that I had to guess and tinker around just to get the output to be a similar resolution to the source.