Colors, javascript indentation rules and taglist plugin