Renormalization of Horava gravity

We prove perturbative renormalizability of projectable Horava gravity. The key element of the argument is the choice of a gauge which ensures the correct anisotropic scaling of the propagators and their uniform falloff at large frequencies and momenta. This guarantees that the counterterms required to absorb the loop divergences are local and marginal or relevant with respect to the anisotropic scaling. Gauge invariance of the counterterms is achieved by making use of the background-covariant formalism. We also comment on the difficulties of this approach when addressing the renormalizability of the nonprojectable model.