From 1863485d73f63e106ae448515dc8c63471d4a8cc Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 24 Jun 2008 15:16:47 +0000 Subject: [PATCH] update latex styles for new tech links svn: r10437 original commit: 0e69bbc8930d3a03a6bc8f1cc89d216ae722cc16 --- collects/scribble/scribble.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex index 645a52d1..6fd783e7 100644 --- a/collects/scribble/scribble.tex +++ b/collects/scribble/scribble.tex @@ -61,7 +61,8 @@ \newcommand{\schemeinput}[1]{\incolorbox{LightGray}{\schemeinputbg{#1}}} \newcommand{\highlighted}[1]{\colorbox{PaleBlue}{\hspace{-0.5ex}\schemeinputbg{#1}\hspace{-0.5ex}}} \newcommand{\plainlink}[1]{#1} -\newcommand{\techlink}[1]{#1} +\newcommand{\techoutside}[1]{#1} +\newcommand{\techinside}[1]{#1} \newcommand{\badlink}[1]{#1} \newcommand{\indexlink}[1]{#1} \newcommand{\imageleft}[1]{} % drop it