suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

main doc page: use margin-note instead of margin-note*

Browse Source 
The rendered form of `margin-note` does the right thing with a narrow
view, unlike the new rendering of `margin-note*`.

Also, wrap `not-on-the-web` only around the part that claims
an installation-specific listing, and add `not-on-the-web` to
"doc-site.css" for "docs.racket-lang.org". I think it's good
for :docs.racket-lang.org" to explain how to open documentation
locally, which is why I didn't make `not-on-the-web` work
as a block wrapper.
This commit is contained in:
Matthew Flatt 2014-07-05 08:52:04 +01:00
parent 65f1cc5eaf
commit e9b64fce20
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/plt-services/meta/new-web/stubs/docs.rkt
View File

@ -31,6 +31,7 @@
@"@"import url("@(site-css-path docs-site)"); @"@"import url("@(site-css-path docs-site)");
.navsettop, .tocset { top: 60px; } .navsettop, .tocset { top: 60px; }
.versionbox { top: 64px; } .versionbox { top: 64px; }
.hide_when_on_the_web { display: none; }
})) }))
(provide docs-path) (provide docs-path)

8
pkgs/racket-pkgs/racket-index/scribblings/main/start.scrbl
View File

@ -11,9 +11,9 @@
@(define go-style (style "RootPathAction" (list (attributes '((onclick . "return GoToRootPath();")))))) @(define go-style (style "RootPathAction" (list (attributes '((onclick . "return GoToRootPath();"))))))
@(define disable-style (style "RootPathAction" (list (attributes '((onclick . "return DisableRootPath();")))))) @(define disable-style (style "RootPathAction" (list (attributes '((onclick . "return DisableRootPath();"))))))
@not-on-the-web{ @margin-note{
@margin-note*{ @not-on-the-web{This is an installation-specific listing.}
This is an installation-specific listing. Running @exec{raco docs} Running @exec{raco docs}
(or @exec{Racket Documentation} on Windows or Mac OS X) (or @exec{Racket Documentation} on Windows or Mac OS X)
may open a different page with local and user-specific may open a different page with local and user-specific
documentation, including documentation for installed packages. documentation, including documentation for installed packages.
@ -22,7 +22,7 @@
``top'' link will use go to a different starting point that ``top'' link will use go to a different starting point that
includes user-specific information. includes user-specific information.
@hyperlink["#"]{@elem[#:style go-style]{[Go to user-specific start]}} @hyperlink["#"]{@elem[#:style go-style]{[Go to user-specific start]}}
@hyperlink["#"]{@elem[#:style disable-style]{[Forget user-specific start]}}}}} @hyperlink["#"]{@elem[#:style disable-style]{[Forget user-specific start]}}}}
@(make-start-page #f) @(make-start-page #f)