From 4997fb9c7961f97657c0654b2b5d9eed9fdcea1e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 24 Jun 2008 15:12:45 +0000 Subject: [PATCH] render tech links as gray underline, turn blue on hover svn: r10436 original commit: 80505abf29825ef03517d4ec32ef56bd5bc0777d --- collects/scribble/manual.ss | 8 +++++++- collects/scribble/scribble.css | 16 ++++++++++++---- 2 files changed, 19 insertions(+), 5 deletions(-) diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss index 8ca8b40f..a3d5ef01 100644 --- a/collects/scribble/manual.ss +++ b/collects/scribble/manual.ss @@ -585,7 +585,13 @@ 'tech))) (define (tech #:doc [doc #f] . s) - (*tech make-link-element "techlink" doc s)) + (*tech (lambda (style c tag) + (make-link-element + style + (list (make-element "techinside" c)) + tag)) + "techoutside" + doc s)) (define (techlink #:doc [doc #f] . s) (*tech make-link-element #f doc s)) diff --git a/collects/scribble/scribble.css b/collects/scribble/scribble.css index 43a0621b..43dd3f53 100644 --- a/collects/scribble/scribble.css +++ b/collects/scribble/scribble.css @@ -437,16 +437,24 @@ i { color: blue; } -.techlink { - text-decoration: none; - color: #0000a0; +.techoutside { + text-decoration: underline; + color: #d0d0d0; } -.techlink:hover { +.techoutside:hover { text-decoration: underline; color: blue; } +.techinside { + color: black; +} + +.techoutside:hover > .techinside { + color: inherit; +} + .bibliography td { vertical-align: top; }