Random suggestions re: online html documentation navigation

Google Group
21

I could not make it work.

Could you manually handle one file and then put it on-line?

For instance, how about this one:

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/x514.html
http://www.google.com/url?q=http%3A%2F%2Fats-lang.sourceforge.net%2FDOCUMENT%2FINT2PROGINATS%2FHTML%2Fx514.html&sa=D&sntz=1&usg=AFQjCNGSlrPorovKRsKkbAilEaYspdEcaQ

I can’t make it work neither. Something changed since. From the main TOC,
all links ends into 404 errors.
From Introduction to Programming in ATS
trying to follow the link “Recursive Functions” (in “3. Functions”) I get a
404 error. The link is wrong, its
http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/x513.html while
it should be
http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/x514.html
(x513.html vs x514.html). The same for all links I tested.

Anyway, I found something which explains why the script won’t work with all
pages. Will look at it during the afternoon (UTC+01:00).

22

Thanks!

I can now see the changes. I put a temporary link here
so that other people can see it:

http://www.cs.bu.edu/~hwxi/.xshare/HTML-new/book1.htmlOn Mon, Feb 9, 2015 at 8:38 AM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Le lundi 9 février 2015 07:21:06 UTC+1, gmhwxi a écrit :

I could not make it work.

Could you manually handle one file and then put it on-line?

For instance, how about this one:

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/x514.html

As attached files, two archive:

HTML-old.tar.gz is not so old backup I fetched with wget. I’m posting
it in case of, as there seems to be an issue with the actual online
version. Note as this was fetched with wget, some URLs was made local.

HTML-new.tar.gz is the book with the JavaScript and CSS variant applied.
Please, don’t care about the home page book1.html, and sometime you may
have to scroll up to see the navigation panel (there are some things still
to be tweak to make both nicer). To test it, just unpack into a folder and
open any page with a web‑browser (no need to put it online).

–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/ca791ce3-0185-4368-bf4b-89bc444cb7e4%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/ca791ce3-0185-4368-bf4b-89bc444cb7e4%40googlegroups.com?utm_medium=email&utm_source=footer
.

23

I experimented with the following issues:

  1. Fixing the position of the vertical bar that separates TOC from the book
    content
  2. Shrinking the right margin of the book contentOn Mon, Feb 9, 2015 at 9:38 AM, Hongwei Xi gmh...@gmail.com wrote:

Thanks!

I can now see the changes. I put a temporary link here
so that other people can see it:

http://www.cs.bu.edu/~hwxi/.xshare/HTML-new/book1.html

On Mon, Feb 9, 2015 at 8:38 AM, ‘Yannick Duchêne’ via ats-lang-users < ats-lan...@googlegroups.com> wrote:

Le lundi 9 février 2015 07:21:06 UTC+1, gmhwxi a écrit :

I could not make it work.

Could you manually handle one file and then put it on-line?

For instance, how about this one:

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/x514.html

As attached files, two archive:

HTML-old.tar.gz is not so old backup I fetched with wget. I’m
posting it in case of, as there seems to be an issue with the actual online
version. Note as this was fetched with wget, some URLs was made local.

HTML-new.tar.gz is the book with the JavaScript and CSS variant
applied. Please, don’t care about the home page book1.html, and sometime
you may have to scroll up to see the navigation panel (there are some
things still to be tweak to make both nicer). To test it, just unpack into
a folder and open any page with a web‑browser (no need to put it online).

–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/ca791ce3-0185-4368-bf4b-89bc444cb7e4%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/ca791ce3-0185-4368-bf4b-89bc444cb7e4%40googlegroups.com?utm_medium=email&utm_source=footer
.

24

Hello Yannick,

Just wanted to chime in to let you know that this is awesome! I like this
styling.On Tuesday, February 10, 2015 at 1:16:03 AM UTC+6, Yannick Duchêne wrote:

Le lundi 9 février 2015 19:26:36 UTC+1, gmhwxi a écrit :

The tutorial book with TOC is now available here:

A Tutorial on Programming Features in ATS
http://www.google.com/url?q=http%3A%2F%2Fats-lang.sourceforge.net%2FDOCUMENT%2FATS2TUTORIAL%2FHTML%2FHTMLTOC%2F&sa=D&sntz=1&usg=AFQjCNH-9Z0Sdh5erRKyk3FuAXhWsd6OJA

I don’t know if it’s temporary, but I noticed the previous
Introduction to Programming in ATS with some
broken links, still have broken links. Ex: “Elements of Programming” ends
into a 404 error.

Also, as I noticed you seem to have opted for invocation from the end of
BODY, I changed the JS as attached. That’s about flicker with Firefox (and
also fixed some minor stuffs). There is a comment at the end saying what to
do if ever the invocation is moved to the HEAD (but better to leave it in
the BODY).

With my apologizes for these successive updates.

25

I experimented with the following issues:

  1. Fixing the position of the vertical bar that separates TOC from the
    book content
  2. Shrinking the right margin of the book content

I don’t understand issue #1. The vertical bar that separates the TOC from
the content: is this the dotted line?