Add some external libs to source tree

2024-08-05 07:13:04 +02:00
parent 9215205aba
commit d3b89d22fb
80 changed files with 54862 additions and 0 deletions
--- a/src/external/lua/doc/manual.css
+++ b/src/external/lua/doc/manual.css
@@ -0,0 +1,21 @@
+h3 code {
+	font-family: inherit ;
+	font-size: inherit ;
+}
+
+pre, code {
+	font-size: 12pt ;
+}
+
+span.apii {
+	color: gray ;
+	float: right ;
+	font-family: inherit ;
+	font-style: normal ;
+	font-size: small ;
+}
+
+h2:before {
+	content: "" ;
+	padding-right: 0em ;
+}