commit 0ca77cb9f5c89e26fcde89d92295871c354cbeb4
parent c836acca01da828d6f3927d33c81259d0fdd59f0
Author: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 25 Jun 2012 08:22:41 -0600
CSS tweak for whute label on blue boxes
This tweak avoids adding extra space when the white-label font is
taller than the line it's attached to. It also makes the label
disappear in IE 6, but I think we can live with that.
original commit: c2924ef926c3ed62e61e5deff72f15f3065bb0ab
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/collects/scribble/racket.css b/collects/scribble/racket.css
@@ -211,6 +211,7 @@
.RBackgroundLabel {
float: right;
width: 0px;
+ height: 0px;
}
.RBackgroundLabelInner {