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

$conf['fullWidthSite'] = 1;
$conf['showToc'] = 1;
$conf['stickyToc'] = 0;
$conf['siteHeaderPosition'] = 'Top';
$conf['siteFooterPosition'] = 'Bottom';
$conf['showPageInfo'] = 1;
$conf['theme'] = 'Default';
$conf['hideTools'] = 0;