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