{# INPUT - name - string with worksheet name - filename_ - string with worksheet filename - data - list of data to put in the Data menu - systems_enumerated - enumerated list of systems - system_names - list of system names - current_system_index - the currently selected system_index - pretty_print - a boolean stating whether to typeset as default - doc_worksheet - a boolean stating whether the worksheet is the doc worksheet #}     {% if not doc_worksheet %}  Typeset {% endif %}