diff options
Diffstat (limited to 'Build/source/libs/lua52/lua52-src/doc/manual.css')
-rw-r--r-- | Build/source/libs/lua52/lua52-src/doc/manual.css | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Build/source/libs/lua52/lua52-src/doc/manual.css b/Build/source/libs/lua52/lua52-src/doc/manual.css new file mode 100644 index 00000000000..375f7e7f5cf --- /dev/null +++ b/Build/source/libs/lua52/lua52-src/doc/manual.css @@ -0,0 +1,27 @@ +h3 code {
+ font-family: inherit ;
+ font-size: inherit ;
+}
+
+pre, code {
+ font-size: 12pt ;
+}
+
+span.apii {
+ float: right ;
+ font-family: inherit ;
+ font-style: normal ;
+ font-size: small ;
+ color: gray ;
+}
+
+p+h1, ul+h1 {
+ font-style: normal ;
+ padding-top: 0.4em ;
+ padding-bottom: 0.4em ;
+ padding-left: 16px ;
+ margin-left: -16px ;
+ background-color: #D0D0FF ;
+ border-radius: 8px ;
+ border: solid #000080 1px ;
+}
|