diff options
| author | 2015-01-13 17:59:12 +0100 | |
|---|---|---|
| committer | 2015-01-13 17:59:12 +0100 | |
| commit | d60dc40fe37bbc90eecea9c0ebb1f932df38ab0b (patch) | |
| tree | 34ba59a47662984394b88249db7c8103b05793c2 /3rdparty/lua/doc/lua.css | |
| parent | b1876ae1a347c07d176bcb381d4ef54fcbd897c7 (diff) | |
Update to Lua 5.3
Diffstat (limited to '3rdparty/lua/doc/lua.css')
| -rw-r--r-- | 3rdparty/lua/doc/lua.css | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/3rdparty/lua/doc/lua.css b/3rdparty/lua/doc/lua.css index 3d2443acffd..3199a2b6e8f 100644 --- a/3rdparty/lua/doc/lua.css +++ b/3rdparty/lua/doc/lua.css @@ -53,12 +53,17 @@ a:visited { a:link:hover, a:visited:hover { color: #000080 ; background-color: #D0D0FF ; + border-radius: 4px; } a:link:active, a:visited:active { color: #FF0000 ; } +h1 a img { + vertical-align: text-bottom ; +} + hr { border: 0 ; height: 1px ; @@ -86,11 +91,15 @@ table hr { input[type=text] { border: solid #a0a0a0 2px ; 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 ; } +pre.session { + background-color: #F8F8F8 ; + padding: 1em ; + border-radius: 8px ; +} |
