Add a setting for the video size (closes #35).