Abrir menú principal

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