%% Translation of GIT committish: 56145dfed8f19bb34459d5b40cab388776d2ec49
  texidoces = "
Aunque la manera más sencilla de redimensionar los pentagramas es usar
@code{#(set-global-staff-size xx)}, el tamaño de una pauta individual
se puede cambiar escalando las propiedades de @code{'staff-space} y de
@code{fontSize}.

"
  doctitlees = "Modificar el tamaño de la pauta"