Cambios en diccionario de temas, se permite modificar el estilo del highlighter, se necesita crear un nuevo documento para que se aplique el estilo nuevo. Agregado opciones para el compilador