diff --git a/common/page_format.js b/common/page_format.js index 26b6cec..d36a48f 100644 --- a/common/page_format.js +++ b/common/page_format.js @@ -1,8 +1,10 @@ +// function format_page(){//Set the title of the page based on the main header,

, tag.le != '' )){ if ( document.getElementsByTagName('h1').length !== 0){ document.title = document.getElementsByTagName('h1')[0].innerText; } - //detect if the page contains code blocks to be highlighted and loads the prisim.js and prism.css files to accomplish this. + //Detect if the page contains code blocks to be highlighted and loads the + //prisim.js and prism.css files if codeblocks are found. code_tag = document.getElementsByTagName('code').length; if ( code_tag !== 0 ){ var script = document.createElement('script'); @@ -15,11 +17,14 @@ function format_page(){//Set the title of the page based on the main header,