";
- echo "
";
- } elseif (file_exists("$docroot/$root/$icon")) {
- $icon = "
";
- } else {
- $icon = "";
- }
- } elseif (substr($icon,0,5)=='icon-') {
- $icon = "";
- } elseif ($icon[0]!='<') {
- if (substr($icon,0,3)!='fa-') $icon = "fa-$icon";
- $icon = "";
- }
- echo "";
- }
- }
- annotate($page['file']);
- // include page specific stylesheets (if existing)
- $css = "/{$page['root']}/sheets/{$page['name']}";
- $css_stock = "$css.css";
- $css_theme = "$css-$theme.css";
- if (is_file($docroot.$css_stock)) echo '',"\n";
- if (is_file($docroot.$css_theme)) echo '',"\n";
- // create page content
- empty($page['Markdown']) || $page['Markdown']=='true' ? eval('?>'.Markdown(parse_text($page['text']))) : eval('?>'.parse_text($page['text']));
- if ($close) echo "
";
- echo tab_title($title,$page['root'],_var($page,'Tag',false));
- echo "
";
- }
- $tab++;
- }
- if (isset($page['Type']) && $page['Type']=='menu') {
- $pgs = find_pages($page['name']);
- foreach ($pgs as $pg) {
- @eval("\$title=\"".htmlspecialchars($pg['Title'])."\";");
- $icon = _var($pg,'Icon',"");
- if (substr($icon,-4)=='.png') {
- $root = $pg['root'];
- if (file_exists("$docroot/$root/images/$icon")) {
- $icon = "