 Continuity of roots over a non-Archimedean field

The roots of a separable polynomial over a complete non-Archimedean field vary continuously with its coefficients after the roots are suitably matched. In particular, a sufficiently close coefficientwise approximation has one root in each sufficiently small disjoint ball around an original root.