Changeset ec1c674

Timestamp:

May 4, 2021, 12:19:26 PM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

403f287

Parents:

b9dae14c

Message:

raise minus sign in typewriter font to middle of line

File:

• doc/theses/andrew_beach_MMath/cfalab.sty (modified) (1 diff)

doc/theses/andrew_beach_MMath/cfalab.sty

@@ -124 +124 @@
   numberstyle=\footnotesize\sf,
   % Replace/adjust listing characters that look bad in sanserif.
-  literate={-}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.75ex}{0.1ex}}}}1
+  literate={-}{\makebox[1ex][c]{\raisebox{0.7ex}{\rule{0.75ex}{0.1ex}}}}1
     {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1
     {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1