I very much like this change
Where we are now
should category names no longer be bold?
should we fade out categories of visited topics?
