ault_level();
        create_toc_control(level);
        generate_toc(level);
    });
</script>

<script type="text/javascript">
    function showtab(tab, id) {
        document.getElementById(tab + '-deb').style.display = 'none';
        document.getElementById(tab + '-rpm').style.display = 'none';
        document.getElementById(tab + '-macos').style.display = 'none';
        document.getElementById(tab + '-setup').style.display = 'none';
        document.getElementById(tab + '-' + id).style.display = 'bl