<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Thank you!<br>
    <br>
    For reading on an eBook Reader an overall larger font  (e.g. at
    14pt) <br>
    would be more pleasant! "Times" is terrible for sizes smaller than
    12pt!<br>
    <br>
    I would generate a pdf version with a font size at 14pt<br>
    using Palatino/Consolas, if I could do it myself.<br>
    (An ePub format, if possible at all, would be even better.)<br>
    <br>
    Regards<br>
    Nik<br>
    <br>
    PS: By the way, how did you get to  <a moz-do-not-send="true"
      href="http://pre.racket-lang.org/docs/pdf/guide.pdf">http://pre.racket-lang.org/</a>
    from Racket's main site?<br>
    <br>
    <br>
    On 01/04/2012 03:07 PM, Matthias Felleisen wrote:
    <blockquote
      cite="mid:2B3D068F-6318-4E6D-9AE7-5D2AFE014791@ccs.neu.edu"
      type="cite">
      <div><br>
      </div>
      <div>It exists in PDF, e.g., <a moz-do-not-send="true"
          href="http://pre.racket-lang.org/docs/pdf/guide.pdf">http://pre.racket-lang.org/docs/pdf/guide.pdf</a> </div>
      <div><br>
      </div>
      <br>
      <div>
        <div>On Jan 4, 2012, at 9:00 AM, nitralime wrote:</div>
        <br class="Apple-interchange-newline">
        <blockquote type="cite">
          <meta http-equiv="content-type" content="text/html;
            charset=UTF-8">
          <div bgcolor="#FFFFFF" text="#000000"> <font face="Consolas">Hello
              folks!<br>
              <br>
              Is there a (simple) way to convert Racket documentations
              (e.g. Racket Guide) into PDF/PS format?<br>
              <br>
              Regards<br>
              Nik<br>
              <br>
              <br>
            </font> </div>
          ____________________<br>
           Racket Users list:<br>
           <a moz-do-not-send="true"
            href="http://lists.racket-lang.org/users">http://lists.racket-lang.org/users</a><br>
        </blockquote>
      </div>
      <br>
    </blockquote>
    <br>
  </body>
</html>