I found out how to do this, I added this coded to line 191 in view.php
echo $OUTPUT->box_start('generalbox book_content');
echo format_text( $toc = book_get_toc($chapters, $chapter, $book, $cm, $edit, 0));
echo $OUTPUT->box_end();
as well as a couple of other purely cosmetic tinkerings.