diff options
| author | matt <matt@59fd770c-687e-43c8-a1e3-f5a4ff64c105> | 2010-03-30 16:36:59 +0400 |
|---|---|---|
| committer | matt <matt@59fd770c-687e-43c8-a1e3-f5a4ff64c105> | 2010-03-30 16:36:59 +0400 |
| commit | ffd2756bfeda77beee0e01825e3d886274e99d3d (patch) | |
| tree | 2ba8f0ac72543a2d0ad952544ced935734ceef27 /themes | |
| parent | bb247aaa2598e50e26e3f1b31603b2e43fadd1fd (diff) | |
Adding rounded corners in menus - does it look better?
Diffstat (limited to 'themes')
| -rw-r--r-- | themes/default/common.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/themes/default/common.css b/themes/default/common.css index 489cea3b53..e3f45a6cef 100644 --- a/themes/default/common.css +++ b/themes/default/common.css @@ -92,6 +92,8 @@ a { padding:5px; font-weight:bold; right:10px; + -moz-border-radius:4px; + -webkit-border-radius:4px; } #header_message, #header_message a { color:#FF7F00; @@ -192,5 +194,13 @@ input.submit { /* extending the jquery UI css for inline help */ .ui-widget { text-align:justify; + display:inline; +} + +.ui-inline-help { + width:200px; + margin-top:20px; + padding:0 0.7em; + } |