<?php
/*
 * default configuration settings
 *
 */

$conf['MainMenu'] = 'mainmenu';
$conf['TocMaxHeight'] = '300';
$conf['GoBottomBtn']    = 0;
$conf['FullScreenBtn']    = 1;
$conf['ShowUserFooter']    = 0;
$conf['ShowACLFooter']    = 0;