my $button_text = 'Library'; push @SECTION_BUTTONS, \$button_text; push @CHAPTER_BUTTONS, \$button_text; push @MISC_BUTTONS, \$button_text; push @TOP_BUTTONS, \$button_text; $AFTER_BODY_OPEN = '