1<?php 2/* 3 * default configuration settings 4 * 5 */ 6 7$conf['MainMenu'] = 'mainmenu'; 8$conf['TocMaxHeight'] = '300'; 9$conf['GoBottomBtn'] = 0; 10$conf['FullScreenBtn'] = 1; 11$conf['ShowUserFooter'] = 0; 12$conf['ShowACLFooter'] = 0; 13