from IPython.core.display import publish_html
publish_html('')
def setInterval(js, time):
publish_html('''
'''.format(js, time))
css='''
.text_cell, .code_cell, .text_cell_render{
max-width:810px;
}
.text_cell_render
{
position:relative!important;
}
aside
{
background:rgba(255,255,80,0.4);
border:1px solid rgba(255,210,80,0.8);
border-radius:4px;
border-top:5px;
display:block;
font-size:.85em;
left:845px;
padding:1em;
position:absolute;
top:0px;
text-align:left;
width:150px;
z-index:5;
-moz-box-shadow: 2px 2px 5px #CCC;
-webkit-box-shadow: 2px 2px 5px #CCC;
box-shadow: 2px 2px 5px #CCC;
}
.footnote
{
color:red;
font-size:.7em;
position:relative;
top:-.7em;
text-transform: uppercase;
}
.footnote.big
{
font-size:1em;
top:0;
text-transform: uppercase;
}
'''
publish_html('')
js='''
var jCounter=0;
$('.text_cell_render p, .text_cell_render li').each(function(){
var x=$(this).html().match(/[\s]*\\\\footnote\{(.|[\s-]|<[\/][\w]*>)*?\}/gi);
if( x!=null ){
for(var i=0; i