From c57279f6b8e1c321cc8ceb83f9a91c4ab987a06c Mon Sep 17 00:00:00 2001 From: quietly-turning Date: Thu, 25 Jun 2020 03:58:57 -0400 Subject: [PATCH] allow 
 HTML elements in Luadoc via Lua.xsd

MDN's web docs describe the "HTML 
 elements represents preformatted
text which is to be presented exactly as written in the HTML file."

It's handy for formatting multiline code examples in
LuaDocumentation.xml.
---
 Docs/Luadoc/Lua.xsd |  1 +
 Docs/Luadoc/Lua.xsl | 18 +++++++++++++-----
 2 files changed, 14 insertions(+), 5 deletions(-)

diff --git a/Docs/Luadoc/Lua.xsd b/Docs/Luadoc/Lua.xsd
index 3edd27c34f..7b5954af5b 100644
--- a/Docs/Luadoc/Lua.xsd
+++ b/Docs/Luadoc/Lua.xsd
@@ -89,6 +89,7 @@
 			
 			
 			
+			
 			
 			
 		
diff --git a/Docs/Luadoc/Lua.xsl b/Docs/Luadoc/Lua.xsl
index 64986a12d7..b655c3a95e 100644
--- a/Docs/Luadoc/Lua.xsl
+++ b/Docs/Luadoc/Lua.xsl
@@ -106,7 +106,7 @@
 				font-family: monospace;
 			}
 			.descriptionText {
-				text-indent: 2em;
+				padding-left: 2em;
 				margin-top: 0;
 				margin-bottom: 0;
 			}
@@ -169,7 +169,7 @@
 				var listid = 'list_' + id;
 				var img = document.getElementById( imgid );
 				var list = document.getElementById( listid );
-			
+
 				img.setAttribute( 'src', 'open.gif' );
 				list.style.display = 'block';
 			}
@@ -184,7 +184,7 @@
 				var listid = 'list_' + id;
 				var img = document.getElementById( imgid );
 				var list = document.getElementById( listid );
-				
+
 				if( img.getAttribute('src') == 'closed.gif' )
 				{
 					img.setAttribute( 'src', 'open.gif' );
@@ -200,7 +200,7 @@
 		
 		
 		
-			
+			\
 		
 	
 
@@ -648,7 +648,7 @@
 				
 				
 					
-					
+
 					
 					
 					
@@ -670,6 +670,14 @@
 		
 	
 
+
+	
+	
+		
+			
+		
+	

+