EVOLUTION-MANAGER

Edit File: vignette.html

<script type="text/javascript"> window.onload = function() { var i, fig = 1, caps = document.getElementsByClassName('caption'); for (i = 0; i < caps.length; i++) { var cap = caps[i]; if (cap.parentElement.className !== 'figure' || cap.nodeName !== 'P') continue; cap.innerHTML = '<span>Figure ' + fig + ':</span> ' + cap.innerHTML; fig++; } fig = 1; caps = document.getElementsByTagName('caption'); for (i = 0; i < caps.length; i++) { var cap = caps[i]; if (cap.parentElement.nodeName !== 'TABLE') continue; cap.innerHTML = '<span>Table ' + fig + ':</span> ' + cap.innerHTML; fig++; } } </script>