We study the projective normality of a minimal surface X which is a ramified double covering over a rational surface S with c802fb36fd1a0f" title="Click to view the MathML source">dim|−KS|≥1. In particular Horikawa surfaces, the minimal surfaces of general type with 53c8e2d">, are of this type, up to resolution of singularities. Let π be the covering map from X to S . We show that the Z2-invariant adjoint divisors KX+rπ⁎A are normally generated, where the integer r≥3 and A is an ample divisor on S.