J'ai regardé dans la config de la souris (panneau de config): rien, on peut juste modifier le type de pointeur mais pas sa taille.
J'ai aussi regardé dans les config du clavier: rien aussi, on peut juste modifier la fréquence de clignotement du curseur