The autodevops page needed a few small stylistic changes; this
commit provides them. No technical information was changed in
this commit.