diff options
Diffstat (limited to 'doc/lua.css')
| -rw-r--r-- | doc/lua.css | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/lua.css b/doc/lua.css index 98f0fcda..3199a2b6 100644 --- a/doc/lua.css +++ b/doc/lua.css @@ -53,6 +53,7 @@ a:visited { a:link:hover, a:visited:hover { color: #000080 ; background-color: #D0D0FF ; + border-radius: 4px; } a:link:active, a:visited:active { @@ -90,10 +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-position: 4px center ; padding-left: 20px ; height: 2em ; } + +pre.session { + background-color: #F8F8F8 ; + padding: 1em ; + border-radius: 8px ; +} |