From 5e9d1ce92fbb5a1282d382d70ab5f94ba4ceb700 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Thu, 28 Feb 2013 11:09:20 -0500
Subject: [PATCH] Use the `not-on-the-web' style *around* the installation
 comment.

Otherwise making it have a "display: none" style leaves a visible empty
div.
---
 collects/scribblings/main/start.scrbl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/scribblings/main/start.scrbl b/collects/scribblings/main/start.scrbl
index 9a26f6e498..92f48ad859 100644
--- a/collects/scribblings/main/start.scrbl
+++ b/collects/scribblings/main/start.scrbl
@@ -5,8 +5,8 @@
                   ;; "racket.css" needs to be installed so it can be shared:
                   #:force-racket-css? #t]
 
-@margin-note{
-  @not-on-the-web{
+@not-on-the-web{
+  @margin-note*{
     This is an installation-specific listing.  Running @exec{raco docs}
     (or @exec{Racket Documentation} on Windows or Mac OS X)
     may open a different page with local and user-specific