document.write('<script type="text/javascript" src="./config/resources.js"></script>');
document.write('<script type="text/javascript" src="./data/toc.js"></script>');
document.write('<script type="text/javascript" src="./script/jquery-3.5.1.min.js"></script>');
document.write('<script type="text/javascript" src="./script/loaddata.js"></script>');
document.write('<script type="text/javascript" src="./script/menu.js"></script>');
document.write('<script type="text/javascript" src="./script/scroll.js"></script>');
document.write('<script type="text/javascript" src="./data/searchIndex.js"></script>');
document.write('<script type="text/javascript" src="./script/search.js"></script>');
document.write('<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no" />');