да Кристину, как и Марину, не уменьшали, звали полным именем всегда, в компаниях близки друзей иногда мелькало Кристи или Крис, но вот Кристя вообще никогда не встречалась. Сама подумываю над этим именем для дочери и совершенно точно не будет она Кристя