%% Translation of GIT committish: 70abecb938c2bb752967bd56b7402dd8129838a5
  texidoces = "
Elegir distintos tamaños de fuente para @code{instrumentName} y
@code{shortInstrumentName} como una sobreescritura de contexto.
"

  doctitlees = "Diferentes tamaños de fuente para @code{instrumentName} y @code{shortInstrumentName}"
