Origin of the name Docia

Possibly a diminutive of Theodosia.