book_tocwidth:

'140', '160'=>'160', '180'=>'180', '200'=>'200', '220'=>'220', '240'=>'240', '260'=>'260', '280'=>'280', '300'=>'300'); choose_from_menu ($choices, 'book_tocwidth', $CFG->book_tocwidth, ''); ?>