Simple menu-rendering for the web.py framework