diff --git a/texinfo.tex b/texinfo.tex index 284d6993..84d6683e 100644 --- a/texinfo.tex +++ b/texinfo.tex @@ -1190,7 +1190,7 @@ where each line of input produces a line of output.} % Do not make many font distinctions in general in the index, since they % aren't very useful. \setfont\ninett\ttshape{9}{1000} -\setfont\ninettsl\ttslshape{9}{1000} +\setfont\ninettsl\ttslshape{10}{900} \setfont\indrm\rmshape{9}{1000} \setfont\indit\slshape{9}{1000} \let\indsl=\indit