diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss index d6013085..95f7f830 100644 --- a/collects/scribble/latex-render.ss +++ b/collects/scribble/latex-render.ss @@ -175,7 +175,7 @@ (case style [(italic) (wrap e "textit" #f)] [(bold) (wrap e "textbf" #f)] - [(tt) (wrap e "mytexttt" #t)] + [(tt) (wrap e "Scribtexttt" #t)] [(no-break) (super render-element e part ri)] [(sf) (wrap e "textsf" #f)] [(subscript) (wrap e "textsub" #f)] @@ -185,7 +185,7 @@ (case (string-length s) [(0) (void)] [else - (printf "\\mbox{\\hphantom{\\mytexttt{~a}}}" + (printf "\\mbox{\\hphantom{\\Scribtexttt{~a}}}" (regexp-replace* #rx"." s "x"))]))] [(newline) (printf "\\\\")] [else (error 'latex-render diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex index 0cdc9d3b..399d733f 100644 --- a/collects/scribble/scribble.tex +++ b/collects/scribble/scribble.tex @@ -9,7 +9,7 @@ \usepackage[usenames,dvipsnames]{color} \hypersetup{bookmarks=true,bookmarksopen=true,bookmarksnumbered=true} -\newcommand{\inColor}[2]{{\mytexttt{\color{#1}{#2}}}} +\newcommand{\inColor}[2]{{\Scribtexttt{\color{#1}{#2}}}} \definecolor{CommentColor}{rgb}{0.76,0.45,0.12} \definecolor{ParenColor}{rgb}{0.52,0.24,0.14} \definecolor{IdentifierColor}{rgb}{0.15,0.15,0.50} @@ -19,9 +19,9 @@ \definecolor{PaleBlue}{rgb}{0.90,0.90,1.0} \definecolor{LightGray}{rgb}{0.90,0.90,0.90} -\newcommand{\mytexttt}[1]{{\texttt{#1}}} +\newcommand{\Scribtexttt}[1]{{\texttt{#1}}} \newcommand{\schemeplain}[1]{\inColor{black}{#1}} -\newcommand{\schemekeyword}[1]{{\color{black}{\mytexttt{\textbf{#1}}}}} +\newcommand{\schemekeyword}[1]{{\color{black}{\Scribtexttt{\textbf{#1}}}}} \newcommand{\schemesyntaxlink}[1]{\schemekeyword{#1}} \newcommand{\schemecomment}[1]{\inColor{CommentColor}{#1}} \newcommand{\schemeparen}[1]{\inColor{ParenColor}{#1}}