+function show_page_item($name, $page, $nestlevel)
+{
+ $active_page = NULL;
+ $icon = $style = "";
+ $class = "nav-link nav-item";
+ if (is_string($active_page) && $page == $active_page)
+ $class .= " active";
+
+ if ($nestlevel > 0)
+ {
+ echo "<small>";
+ $name = " ".$name;
+ $style = "padding-bottom: 1px; padding-top: 1px";
+ } else {
+ echo "<b>";
+ }
+ if (is_array($page))
+ {
+ $style = "padding-bottom: 0px;";
+ } else {
+ echo "<a href=\"".get_config("base_url").$page."\" style=\"text-decoration: none\">\n";
+ }
+ echo "<div class=\"d-flex justify-content-between align-items-center $class list-group-item-action\" style=\"$style\">$name
+ <div class=\"text-right padding-top\">
+ <i class=\"fa fa-$icon\"></i>
+ </div></div>\n";
+ if (!is_array($page))
+ echo "</a>";
+ if ($nestlevel > 0)
+ echo "</small>";
+ else
+ echo "</b>";
+ if (is_array($page))
+ {
+ foreach ($page as $subname=>$subpage)
+ show_page_item($subname, $subpage, 1);
+ }
+}
+foreach($pages as $name=>$page)
+ show_page_item($name, $page, 0);
+?>
+</div>
+</nav>