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.)
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
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
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
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
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):