From c2924ef926c3ed62e61e5deff72f15f3065bb0ab Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 25 Jun 2012 08:22:41 -0600
Subject: [PATCH] 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.
---
 collects/scribble/racket.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/scribble/racket.css b/collects/scribble/racket.css
index cba6097c6a..bc48085e17 100644
--- a/collects/scribble/racket.css
+++ b/collects/scribble/racket.css
@@ -211,6 +211,7 @@
 .RBackgroundLabel {
    float: right;
    width: 0px;
+   height: 0px;
 }
 
 .RBackgroundLabelInner {