change \dfn to be \em not \sl

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index 55fe0470923129e7119e9dff1e28454fc3fe086a..f1779cb445c55e62442ce30fac2ea2fe24c80bdc 100644 (file)
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -161,7 +161,7 @@
 \newcommand{\samp}[1]{\mbox{`\code{#1}'}}
 \newcommand{\var}[1]{\mbox{\it#1\/}}
 \let\file=\samp
-\newcommand{\dfn}[1]{{\sl #1\/}}
+\newcommand{\dfn}[1]{{\em #1\/}}
 \newcommand{\emph}[1]{{\em #1\/}}
 \newcommand{\strong}[1]{{\bf #1}}