diff options
| -rw-r--r-- | texinfo.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/texinfo.tex b/texinfo.tex index 284d699..84d6683 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 |