diff options
| author | Lua Team <team@lua.org> | 2010-01-14 12:00:00 +0000 |
|---|---|---|
| committer | repogen <> | 2010-01-14 12:00:00 +0000 |
| commit | ecd48c2901f08a88db32139b97c35c59eba1f19e (patch) | |
| tree | 526e8dac3e037de0024b37c89fa3150baeea969f /doc/manual.css | |
| parent | 22912c77c80f8de8f7accd3319c726f7c5349fd3 (diff) | |
| download | lua-github-5.2.0-work2.tar.gz | |
Lua 5.2.0-work25.2.0-work2
Diffstat (limited to 'doc/manual.css')
| -rw-r--r-- | doc/manual.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/manual.css b/doc/manual.css new file mode 100644 index 00000000..eed5afd9 --- /dev/null +++ b/doc/manual.css @@ -0,0 +1,13 @@ +h3 code { + font-family: inherit ; +} + +pre { + font-size: 105% ; +} + +span.apii { + float: right ; + font-family: inherit ; +} + |