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