In retrospect it's obvious that they would be, and certainly the
cursor has the right shape, but something about the styling makes me
think of them purely as headers, not something clickable in their own
right.
Anyway, if it's just me, it doesn't matter (I mean, I know they're
clickable now). If others have had the same reaction, it may be worth
looking at the styling of those.
-- T.J.
Agreed.
Best,
Tobie
On Apr 9, 6:33 am, gf3 <giannichiappe...@gmail.com> wrote:
> BAM. Done:http://github.com/gf3/pdoc/commit/55f6628be7fc5f91b7602ced0fddd5617db...