diff options
Diffstat (limited to 'source3/lua-5.1.4/doc/manual.css')
-rw-r--r-- | source3/lua-5.1.4/doc/manual.css | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/source3/lua-5.1.4/doc/manual.css b/source3/lua-5.1.4/doc/manual.css new file mode 100644 index 0000000000..55683fed5a --- /dev/null +++ b/source3/lua-5.1.4/doc/manual.css @@ -0,0 +1,12 @@ +h3 code { + font-family: inherit ; +} + +pre { + font-size: 105% ; +} + +span.apii { + float: right ; + font-family: inherit ; +} |