Use the `not-on-the-web' style *around* the installation comment.

Otherwise making it have a "display: none" style leaves a visible empty
div.
This commit is contained in:
Eli Barzilay 2013-02-28 11:09:20 -05:00
parent 2065c8203e
commit 5e9d1ce92f

View File

@ -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