Another feature from the mockup that didn't make it into the finished program: when searching, for example, the word "monad" and getting back the following search result:
MONAD314: a monoid in the category of endofunctors
...It might be helpful to include some kind of emphasis on the occurrences of the search text in the search result:
MONAD314: a monoid in the category of endofunctors
This could take on a variety of forms -- highlighting, bolding, perhaps even simply including special symbols around the occurrences.
Another feature from the mockup that didn't make it into the finished program: when searching, for example, the word "monad" and getting back the following search result:
MONAD314: a monoid in the category of endofunctors
...It might be helpful to include some kind of emphasis on the occurrences of the search text in the search result:
MONAD314: a monoid in the category of endofunctors
This could take on a variety of forms -- highlighting, bolding, perhaps even simply including special symbols around the occurrences.