tree bde25213eefeeabd3609e1f8de8f5a5abe160198
parent 4744bfba055622e7ecebfcbfca600c5cb4f5329f
author David Ostrovsky <david@ostrovsky.org> 1398805514 +0200
committer David Ostrovsky <david.ostrovsky@gmail.com> 1398807759 +0000

Add configuation option to show/hide top level menu

Some sites may want to disable top level menu. Provide an option to do
that.

Change-Id: I83dd0a4cbae25475e9258242f8e5400ffb7444d8