Odoc-generated pages aren't very readable

Question

glennsl opened this issue 7 years ago · comments

Edited to add:

For comparison:

It is much easier to scan the original page for the function you are interested in.

Ricky Vetter · Answer 1 · Sat Feb 11 2017 06:15:41 GMT+0800 (China Standard Time)

Are you referring to the accordion feature specifically? Or do you think everything looks bad?

Glenn Slotte · Answer 2 · Sat Feb 11 2017 06:19:13 GMT+0800 (China Standard Time)

Sorry for being so vague! What I meant is that it is much easier to quickly scan the original page to find a specific function.

Glenn Slotte · Answer 3 · Sat Feb 11 2017 06:20:57 GMT+0800 (China Standard Time)

For comparison:

Glenn Slotte · Answer 4 · Tue May 23 2017 14:30:08 GMT+0800 (China Standard Time)