I actually had already tried that as well.
I had tried putting:
#. Originally "height" #. Text in echo #: single-person.php:66 msgid "height" msgstr "style"
…which also did not change the wording on the single person post.
I had made that addition to wp-content/themes/redcorner/languages/sevenleague.po
Am I putting it into the wrong language file? Or is there another way to change it?