diff options
| author | Lua Team <team@lua.org> | 2011-11-24 12:00:00 +0000 |
|---|---|---|
| committer | repogen <> | 2011-11-24 12:00:00 +0000 |
| commit | 2e5ae8240bb2daf5d66d69e199de10dde62f5d13 (patch) | |
| tree | b9f21bdd5006c59adc99000afa3cf22da8ea1c57 /doc/manual.css | |
| parent | c17c598e967843fa77a465caf0e0df15d9019409 (diff) | |
| download | lua-github-5.2.0-rc1.tar.gz | |
Lua 5.2.0-rc15.2.0-rc1
Diffstat (limited to 'doc/manual.css')
| -rw-r--r-- | doc/manual.css | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/manual.css b/doc/manual.css index 6d5a3f09..b158aea3 100644 --- a/doc/manual.css +++ b/doc/manual.css @@ -2,13 +2,16 @@ h3 code { font-family: inherit ; } -pre { - font-size: 105% ; +pre, code { + font-size: 12pt ; } span.apii { float: right ; font-family: inherit ; + font-style: normal ; + font-size: small ; + color: gray ; } p+h1, ul+h1 { |