more cross-referencing and icons to help explain margin notes

svn: r6720

original commit: f9b2e75a7517b1e290d3971678f862d2139011d8
This commit is contained in:
Matthew Flatt 2007-06-23 02:33:00 +00:00
parent cd3fb95c05
commit 540bc42e75
2 changed files with 7 additions and 0 deletions

View File

@ -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{")

View File

@ -282,6 +282,11 @@
font-family: Courier; font-size: 80%;
}
.imageleft {
float: left;
margin-right: 0.3em;
}
.nonavigation {
color: #EEEEEE;
}