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

$conf['MainMenu'] = 'mainmenu';
$conf['TocMaxHeight'] = '300';