::
Come risulta dalla documentazione di color (grfguide.pdf), \colorbox aggiunge \fboxsep alle dimensioni (sopra, sotto, a destra e a sinistra). E ci sono ottimi motivi per farlo.
Hai ragione. Mi sono convinto anch’io che effettivamente sia meglio come avevi scritto tu.
Ciao!