From 93514c0e1d3908cc38380c0db378403563d5e836 Mon Sep 17 00:00:00 2001 From: manfromhuh Date: Tue, 5 Jul 2022 14:29:43 -0400 Subject: [PATCH] Add comments to page_format.js --- common/page_format.js | 30 +++++++++++++++++------------- 1 file changed, 17 insertions(+), 13 deletions(-) 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,