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/lua.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/lua.css')
| -rw-r--r-- | doc/lua.css | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/lua.css b/doc/lua.css index fb462d9b..54708f82 100644 --- a/doc/lua.css +++ b/doc/lua.css @@ -1,7 +1,6 @@ body { color: #000000 ; background-color: #FFFFFF ; - font-family: sans-serif ; font-family: Helvetica, Arial, sans-serif ; text-align: justify ; margin-right: 20px ; @@ -18,12 +17,13 @@ h2 { padding-top: 0.4em ; padding-bottom: 0.4em ; padding-left: 20px ; + padding-right: 20px ; margin-left: -20px ; background-color: #E0E0FF ; } h3 { - padding-left: 8px ; + padding-left: 0.5em ; border-left: solid #E0E0FF 1em ; } @@ -76,7 +76,6 @@ input[type=text] { -moz-border-radius: 2em ; background-image: url('images/search.png') ; background-repeat: no-repeat; - background-position: left center ; background-position: 4px center ; padding-left: 20px ; height: 2em ; |