Cambiar tema
Catálogo generado sin ejecutar los scripts. Las opciones se obtienen del AST o del parser central de confianza.