Abrir menú principal

Producir los datos de salida en formato XML (con resaltado sintáctico en HTML).