+/// Cabecera del menu (debe estar logueado)
+function menu_cabecera($titulo = '')
+{
+?>
+<table summary="Estructura, divide contenido (derecha) de menú (izquierda)"
+ border="0" width="100%">
+ <tbody>
+ <tr>
+ <td width="200" valign="top"><!-- MENU -->
+ <h2>Menú</h2>
+ <ul>
+ <li>
+ <h3>FAQ</h3>
+ <ul>
+ <li><a href="">Algo</a></li>
+ <li><a href="">Otro</a></li>
+ </ul>
+ </li>
+ <li>
+ <h3>Sitios</h3>
+ <ul>
+ <li><a href="">Algo</a></li>
+ <li><a href="">Otro</a></li>
+ </ul>
+ </li>
+ <?php if ($_SESSION['user']->esAdmin()) { ?>
+ <li>
+ <h3>Admin</h3>
+ <ul>
+ <li><a href="admin.creditos.php">Créditos</a></li>
+ <li><a href="admin.admin.php">Cambio de Admin</a></li>
+ </ul>
+ </li>
+ <?php } ?>
+ <li><a href="admin.log.php">Log</a></li>
+ <li><a href="admin.logout.php">Salir</a></li>
+ </ul>
+ </td>
+ <td valign="top">
+ <?php if ($titulo) echo "<h2>$titulo</h2>\n" ?>
+<?php
+}
+
+/// Pié del menu
+function menu_pie()
+{
+?>
+ </td>
+ </tr>
+ </tbody>
+</table>
+<?php
+}
+
+/// Cabecera del marco de una página (con menú, necesita estar logueado).
+function marco_cabecera($titulo = '')
+{
+ pagina_check_login();
+ pagina_cabecera();
+ menu_cabecera($titulo);
+}
+
+/// Pie del marco de una página (con menú).
+function marco_pie($autor, $mail)
+{
+ menu_pie();
+ pagina_pie($autor, $mail);
+}
+