// Editor styles