Book CSS

[Andrea Ferretti]

Hello, everyone. I know that as a first post this is quite shallow, but I am trying to learn ATS by reading the official book, and I find the default CSS quite unreadable.

I have taken the liberty to write a few lines of CSS that have improved my experience - one can apply them in Firefox using the style editor, and I am sure a similar mechanism exists in other browsers - so I wanted to share this with the group.

Best,
Andrea

[Brandon Barker]

Appearances are important in my opinion, look forward to seeing it myself later. Though, I didn't have any particular issues with the book previously, it admittedly doesn't look like it was designed by a silicon valley startup.

--
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/7c7f1c84-c940-4d4f-96ca-0dc25c1ae973%40googlegroups.com.

--

Brandon Barker
brandon...@gmail.com

[gmhwxi]

Thanks!

For using this css, I manually inserted a line into the following html file

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

I use docbook. Does anyone know a way to do this through a command-line?

I hope to be able to use sphinx someday:

http://jats-ug.metasepi.org/doc/ATS2/ATS_Foundations/index.html

But I will wait until the intro-to-ATS book is pretty much completed. Right now, I still need to add Part V
on template-based programming.

Cheers!

[Yannick Duchêne]

Le mercredi 28 janvier 2015 23:10:57 UTC+1, gmhwxi a écrit :

I hope to be able to use sphinx someday:

http://jats-ug.metasepi.org/doc/ATS2/ATS_Foundations/index.html

Sphinx is two things: a structured markup language and a processing/presentation tool. What's noticeable in this case, is the presentation. IMO, choosing a markup language for the presentations its standard tool offers, may be an error. As an example, DITA is an OASIS standard (better standard to my opinion than Sphinx) and can be used to produce presentation similar to the good one at the link above.

I personally enjoy Sphinx's generated presentations, but less its markup language and processing model.

This comment was just to avoid a confusion, and was not to say Sphinx is not good (even if I personally believe DITA is a better standard than Sphinx, there are people who have the opposite opinion).

[Andrea Ferretti]

It would be really nice to use Sphinx and obtain an output such as in
ATS Foundations.

What are the sources whence the current book HTML is compiled? It may
not be that difficult to translate it to a format that Sphinx can
understand

2015-01-29 13:17 GMT+01:00 'Yannick Duchêne' via ats-lang-users
<ats-lan...@googlegroups.com>:

> --
> You received this message because you are subscribed to a topic in the
> Google Groups "ats-lang-users" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/ats-lang-users/O4LgS4OWbGQ/unsubscribe.
> To unsubscribe from this group and all its topics, 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/cc83e929-fc9c-4aa0-b007-057ffc39e9be%40googlegroups.com.

[Yannick Duchêne]

Le jeudi 29 janvier 2015 13:33:47 UTC+1, Andrea Ferretti a écrit :

It would be really nice to use Sphinx and obtain an output such as in
ATS Foundations.

What are the sources whence the current book HTML is compiled? It may
not be that difficult to translate it to a format that Sphinx can
understand

 If the original sources are XML, then probably an XSLT sheet could do the job without the need to use Sphinx at all (by the way, DITA‑OT rely a lot on XSLT for its presentations generation).

[Andrea Ferretti]

Yeah, I was wondering whether these XML source are available
somewhere, so that I could try and see if I come up with something
useful

2015-01-29 13:44 GMT+01:00 'Yannick Duchêne' via ats-lang-users
<ats-lan...@googlegroups.com>:
>
>

> --
> You received this message because you are subscribed to a topic in the
> Google Groups "ats-lang-users" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/ats-lang-users/O4LgS4OWbGQ/unsubscribe.
> To unsubscribe from this group and all its topics, 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/0f66105b-9c63-4b0e-a885-97f70593c149%40googlegroups.com.

[gmhwxi]

The source of the intro-to-ATS book is written in something I called ATEXT;
it was planned for supporting so-called literate programming. Now this plan is
pretty much abandoned (and the new plan uses PHP instead). From ATEXT, I
can generate DocBook format. For instance, you can take a look at the files
in the following directory:

https://github.com/githwxi/ATS-Postiats/blob/master/doc/BOOK/INT2PROGINATS/INTPROGINATS-2013-03-24/
https://github.com/githwxi/ATS-Postiats/blob/master/doc/BOOK/INT2PROGINATS/INTPROGINATS-2013-03-24/CHAPTER_EOP/main.db

There must be a better way to present contents written in DocBook format than what I use. Unfortunately, I do not know.

[gmhwxi]

If it can be done using XSLT, then it is really the best.

Another option for me is to turn ATEXT into whatever that can be presented
nicely. I will think about this once the book is finished.

[Yannick Duchêne]

Le jeudi 29 janvier 2015 16:29:05 UTC+1, gmhwxi a écrit :

The source of the intro-to-ATS book is written in something I called ATEXT;
it was planned for supporting so-called literate programming. Now this plan is
pretty much abandoned (and the new plan uses PHP instead). From ATEXT, I
can generate DocBook format. 

DocBook is standard and is XML, so it would be a good option. There must some XSLT already available for this on the web.