Añadidas nuevas funciones MySQL
Añadidos estilos al editor
Estilos para la ventana principal y la barra de tabs de editores. Quedan cosas que pulir.