|
284 | 284 | </div> |
285 | 285 | </footer> |
286 | 286 |
|
287 | | -<script type="text/javascript" charset="utf-8"> |
288 | | - $(document).ready(addUserToFooter); |
289 | | - $(document).ready(addNavbarLoginLink); |
290 | | - $(document).ready(createEditors); |
291 | | - $(document).ready(getNumUsers); |
292 | | - $(document).ready(getOnlineUsers); |
293 | | - $(document).ready(createScratchActivecode()); |
294 | | - $(document).ready(styleUnittestResults()); |
295 | | -</script> |
296 | | - |
297 | | -<script type="text/javascript"> |
298 | | - // add the video play button overlay image |
299 | | - $(".video-play-overlay").each(function() { |
300 | | - $(this).css('background-image', "url(\'{{pathto('_static/play_overlay_icon.png', 1)}}\')") |
301 | | - }); |
302 | | - |
303 | | - // This function is needed to allow the dropdown search bar to work; |
304 | | - // The default behaviour is that the dropdown menu closes when something in |
305 | | - // it (like the search bar) is clicked |
306 | | - $(function() { |
307 | | - // Fix input element click problem |
308 | | - $('.dropdown input, .dropdown label').click(function(e) { |
309 | | - e.stopPropagation(); |
310 | | - }); |
311 | | - }); |
312 | | - |
313 | | - // style codelens buttons (doing it here because PyTutor is a submodule owned by someone else |
314 | | - $(function() { |
315 | | - $(".ExecutionVisualizer").each(function() { |
316 | | - $(this).find("#jmpFirstInstr").addClass('btn btn-default'); |
317 | | - $(this).find("#jmpStepBack").addClass('btn btn-danger'); |
318 | | - $(this).find("#jmpStepFwd").addClass('btn btn-success'); |
319 | | - $(this).find("#jmpLastInstr").addClass('btn btn-default'); |
320 | | - }); |
321 | | - }); |
322 | | - |
323 | | -</script> |
324 | 287 |
|
325 | 288 | {% if appname == "runestone" %} |
326 | 289 | <script type="text/javascript"> |
|
0 commit comments