tweak topmenu for both logged-in or not-logged-in cases
[unfold.git] / unfold / __init__.py