{#
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 %}