<?php
/*
 * configuration metadata
 *
 */

/*$meta['hideTools']        = array('onoff');
$meta['sidebarIsNav']     = array('onoff');*/

$meta['MainMenu'] = array('string');
$meta['TocMaxHeight'] = array('numeric');