From 540bc42e758038049500249ddc5f3158b89e1628 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 23 Jun 2007 02:33:00 +0000 Subject: [PATCH] more cross-referencing and icons to help explain margin notes svn: r6720 original commit: f9b2e75a7517b1e290d3971678f862d2139011d8 --- collects/scribble/latex-render.ss | 2 ++ collects/scribble/scribble.css | 5 +++++ 2 files changed, 7 insertions(+) diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss index af317dbd..2814051c 100644 --- a/collects/scribble/latex-render.ss +++ b/collects/scribble/latex-render.ss @@ -63,6 +63,8 @@ (printf "\\newcommand{\\schemeinput}[1]{\\colorbox{LightGray}{\\hspace{-0.5ex}\\schemeinputcol{#1}\\hspace{-0.5ex}}}\n") (printf "\\newcommand{\\highlighted}[1]{\\colorbox{PaleBlue}{\\hspace{-0.5ex}\\schemeinputcol{#1}\\hspace{-0.5ex}}}\n") (printf "\\newcommand{\\techlink}[1]{#1}\n") + (printf "\\newcommand{\\imageleft}[1]{#1}\n") + (printf "\\newcommand{\\imageright}[1]{#1}\n") (printf "\\begin{document}\n") (when (part-title-content d) (printf "\\title{") diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css index 1e841947..c383615a 100644 --- a/collects/scribble/scribble.css +++ b/collects/scribble/scribble.css @@ -282,6 +282,11 @@ font-family: Courier; font-size: 80%; } + .imageleft { + float: left; + margin-right: 0.3em; + } + .nonavigation { color: #EEEEEE; }