diff options
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 ; +} |