diff options
| author | Lua Team <team@lua.org> | 2014-07-31 12:00:00 +0000 |
|---|---|---|
| committer | repogen <> | 2014-07-31 12:00:00 +0000 |
| commit | d7648e85b78d53a2248de909868192598ad0eb69 (patch) | |
| tree | c67708a14fd29f8ff7e4981aadb041c5ab577e08 /doc/lua.css | |
| parent | 3907bda05b0e73eba86487ad703e832ca14b64ce (diff) | |
| download | lua-github-5.3.0-alpha.tar.gz | |
Lua 5.3.0-alpha5.3.0-alpha
Diffstat (limited to 'doc/lua.css')
| -rw-r--r-- | doc/lua.css | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/lua.css b/doc/lua.css index 3d2443ac..98f0fcda 100644 --- a/doc/lua.css +++ b/doc/lua.css @@ -59,6 +59,10 @@ a:link:active, a:visited:active { color: #FF0000 ; } +h1 a img { + vertical-align: text-bottom ; +} + hr { border: 0 ; height: 1px ; @@ -88,9 +92,8 @@ input[type=text] { border-radius: 2em ; -moz-border-radius: 2em ; background-image: url('images/search.png') ; - background-repeat: no-repeat; + background-repeat: no-repeat ; background-position: 4px center ; padding-left: 20px ; height: 2em ; } - |