| 
					
				 | 
			
			
				@@ -232,25 +232,23 @@ property on the headline itself.") 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 (defconst org-html-scripts 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				   "<script type=\"text/javascript\"> 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-// @license magnet:?xt=urn:btih:1f739d935676111cfff4b4693e3816e664797050&dn=gpl-3.0.txt GPL-v3-or-Later 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+// @license magnet:?xt=urn:btih:e95b018ef3580986a04669f1b5879592219e2a7a&dn=public-domain.txt Public Domain 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 <!--/*--><![CDATA[/*><!--*/ 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				      function CodeHighlightOn(elem, id) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				      { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				        var target = document.getElementById(id); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				        if(null != target) { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-         elem.cacheClassElem = elem.className; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-         elem.cacheClassTarget = target.className; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-         target.className = \"code-highlighted\"; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-         elem.className   = \"code-highlighted\"; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+         elem.classList.add(\"code-highlighted\"); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+         target.classList.add(\"code-highlighted\"); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				        } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				      } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				      function CodeHighlightOff(elem, id) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				      { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				        var target = document.getElementById(id); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-       if(elem.cacheClassElem) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-         elem.className = elem.cacheClassElem; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-       if(elem.cacheClassTarget) 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-         target.className = elem.cacheClassTarget; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+       if(null != target) { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+         elem.classList.remove(\"code-highlighted\"); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+         target.classList.remove(\"code-highlighted\"); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+       } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				      } 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     /*]]>*///--> 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 // @license-end 
			 |