doc edits

svn: r6708

original commit: ceb1b78cea262486b87f88b2b91ffd493162ce5e

collects/scribble/latex-render.ss

@@ -62,6 +62,7 @@
         (printf "\\definecolor{LightGray}{rgb}{0.90,0.90,0.90}\n")
         (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 "\\begin{document}\n")
         (when (part-title-content d)
           (printf "\\title{")

collects/scribble/manual.ss

@@ -151,6 +151,28 @@
 
   ;; ----------------------------------------
 
+  (provide deftech tech)
+
+  (define (*tech make-elem style s)
+    (let* ([c (decode-content s)]
+           [s (regexp-replace* #px"[-\\s]+" 
+                               (regexp-replace 
+                                #rx"s$" 
+                                (string-foldcase (content->string c))
+                                "")
+                               " ")])
+      (make-elem style
+                 c
+                 (format "tech-term:~a" s))))
+
+  (define/kw (deftech #:body s)
+    (*tech make-target-element #f (list (apply defterm s))))
+
+  (define/kw (tech #:body s)
+    (*tech make-link-element "techlink" s))
+
+  ;; ----------------------------------------
+
   (provide defproc defproc* defstruct defthing defform defform* defform/subs defform*/subs defform/none
            specform specform/subs 
            specsubform specspecsubform specsubform/inline

collects/scribble/scribble.css

@@ -246,6 +246,15 @@
                color: red;
                }
 
+               .techlink { 
+               text-decoration: none;
+               color: black;
+               }
+               .techlink:hover { 
+               text-decoration: underline;
+               color: blue;
+               }
+
                .schemeresult {
                color: #0000af;
                font-family: Courier; font-size: 80%;