Re: [Haskell-cafe] Readable GHC 7.6.3 docs (Bootstrapped)

2013-09-17 Thread Obscaenvs
Update: some of the headers were not anchored, due to there being those accursed newlines in them. I have now corrected this, and I hope that now all headers are anchored in the way you suggested (that I found useful, too - of course. One can only wonder why the official docs aren't made thus.)

[Haskell-cafe] Readable GHC 7.6.3 docs (Bootstrapped)

2013-09-11 Thread Obscaenvs
At [1] you can find links to the GHC documentation that I use myself, since the official version is a bit too TimesNewRoman-y for my ...developed taste. It available in a downloadable Bzipped TAR aswell as being browsable online. [1] http://bugthunk.net/ /fredrik

Re: [Haskell-cafe] Readable GHC 7.6.3 docs (Bootstrapped)

2013-09-11 Thread Niklas Hambüchen
Looks pleasing! I have one feature request: Could you make headings links, or add anchors next to them (github readme style), such that I can directly share what I'm reading with people? On Wed 11 Sep 2013 20:31:30 JST, Obscaenvs wrote: At [1] you can find links to the GHC documentation that

Re: [Haskell-cafe] Readable GHC 7.6.3 docs (Bootstrapped)

2013-09-11 Thread Twan van Laarhoven
Why does every section have a title=1.2.3 foo on the outer div? In Firefox this shows up as a useless tooltip when moving the mouse over the text. On 11/09/13 13:31, Obscaenvs wrote: At [1] you can find links to the GHC documentation that I use myself, since the official version is a bit too

Re: [Haskell-cafe] Readable GHC 7.6.3 docs (Bootstrapped)

2013-09-11 Thread Oliver Charles
On 09/11/2013 03:45 PM, Twan van Laarhoven wrote: Why does every section have a title=1.2.3 foo on the outer div? In Firefox this shows up as a useless tooltip when moving the mouse over the text. That's the same with the official document. I think it's a feature of whatever tool is used to

Re: [Haskell-cafe] Readable GHC 7.6.3 docs (Bootstrapped)

2013-09-11 Thread Albert Y. C. Lai
On 13-09-11 07:31 AM, Obscaenvs wrote: since the official version is a bit too TimesNewRoman-y for my ...developed taste. I question that. Is it the official CSS, or is it your own browser setting? I see no TimesNewRoman-y here. The official version in my Firefox (Ubuntu 13.04 Desktop):