[toc2] remove unused toc.tpl

This commit is contained in:
Josh Barnes
2017-09-28 01:14:57 +01:00
parent a351f419e9
commit dae7c567b2
@@ -1,43 +0,0 @@
{%- extends 'full.tpl' -%}
{%- block header -%}
{{ super() }}
<link rel="stylesheet" href="http://code.jquery.com/ui/1.11.4/themes/smoothness/jquery-ui.css">
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.9.1/jquery.min.js"></script>
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.9.1/jquery-ui.min.js"></script>
<link rel="stylesheet" type="text/css" href="main.css">
<script src="toc2.js"></script>
<script>
$( document ).ready(function(){
var cfg={'threshold':6, // depth of toc (number of levels)
'number_sections':true, // sections numbering
'toc_cell':false, // useless here
'toc_window_display':true, // display the toc window
"toc_section_display": "block", // display toc contents in the window
'sideBar':true, // sidebar or floating window
'navigate_menu':false // navigation menu (only in liveNotebook -- do not change)
}
var st={}; // some variables used in the script
st.rendering_toc_cell = false;
st.config_loaded = false;
st.extension_initialized=false;
st.nbcontainer_marginleft = $('#notebook-container').css('margin-left')
st.nbcontainer_marginright = $('#notebook-container').css('margin-right')
st.nbcontainer_width = $('#notebook-container').css('width')
st.oldTocHeight = undefined
st.cell_toc = undefined;
st.toc_index=0;
// fire the main function with these parameters
table_of_contents(cfg,st);
});
</script>
{%- endblock header -%}