A quick-and-dirty way to create non-link sub-menu dividers, plus a TODO on how this should be formalizes to not be so hacky. This change was inspired by the ever-growing "Site" sidebar menu. Patch by: Todd larsen Review by: to-be-reviewed

#!/bin/sh
NOSE_WITH_DOCTEST=t
export NOSE_WITH_DOCTEST
NOSE_DOCTEST_EXTENSION=txt
export NOSE_DOCTEST_EXTENSION
#NOSE_DETAILED_ERRORS=t
#export NOSE_DETAILED_ERRORS
nosetests $*