Printing documentation

4 views
Skip to first unread message

Hans Hübner

unread,
Oct 1, 2008, 2:48:12 PM10/1/08
to Clojure
Hi,

I know it has been asked for in April and been answered with "no", but
maybe it changed since then. Has anybody come up with a good way to
print the online documentation? I am not looking for anything fancy,
and a CSS style sheet without the navigation bar would be a suitable
start. But maybe someone already got further than that?

Thanks,
Hans

Allen Rohner

unread,
Oct 1, 2008, 7:11:25 PM10/1/08
to Clojure
You can use the clojure.contrib.ns-utils library:

(use 'clojure.contrib.ns-utils)
(print-docs 'clojure)

That will spew straight text, but it shouldn't be too hard to munge it
into something prettier.

HTH
Allen

Hans Hübner

unread,
Oct 2, 2008, 10:27:16 AM10/2/08
to Clojure
Somehow, the mail I sent yesterday never made it to the list, so here
it is again posted with Google Groups instead:

Hi,

I have now used the Stylish Firefox Add-On
(https://addons.mozilla.org/de/firefox/addon/2108) and a custom style
sheet (below) to display the documentation in a printer friendly
manner. I also (in a somewhat manual process) converted the whole
site to a PDF and uploaded it to Google groups' file section
(manual.pdf, 131 pages, 784kb).

Rich, you may want to include a "View Print Version" button somewhere
in the site template that activates this or a similar style sheet. I
really need to get away from the computer and look at paper to be able
to properly learn something, and I guess I'm not the only one.

Thanks for Clojure and for the very nice presentation in Boston on
Monday!

Cheers,
Hans

@-moz-document url-prefix(http://clojure.org/) {
#AllContentContainer { background: #FFFFFF url() !important; }
#leftcolumn, #Resources, #toc { display: none !important; }
body { font-size: 12pt !important; line-height: 12pt !important; }
#rightcolumn { margin-left: 2em !important; }
.wiki { font-size: 12pt !important; }
.wiki h1 { font-size: 18pt !important; }
.wiki h2 { font-size: 16pt !important; }
.wiki h3 { font-size: 14pt !important; }
.wiki h1, .wiki h2, .wiki h3 { margin-bottom: 0.5em !important;
margin-top: 0.5em !important; }
.wiki pre { font-size: 14pt !important; }
}
Reply all
Reply to author
Forward
0 new messages