Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
leaf(_). tree(X) :- leaf(X).