From 20258f42d47024e25655a125911ff8271e144860 Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@gnu.org>
Date: Mon, 22 Jun 1998 13:00:05 +0000
Subject: 	* texinfo.tex (\ninettsl): cmsltt10 is not standard, so use 
 	cmsltt10 scaled 900.  	Date: Mon, 15 Jun 1998 12:35:41 +0200 (MET
 DST)  	From: Werner Struckmann <struck@ips.cs.tu-bs.de>.

---
 texinfo.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3