diff options
Diffstat (limited to 'htdocs/tips.css')
| -rw-r--r-- | htdocs/tips.css | 33 |
1 files changed, 15 insertions, 18 deletions
diff --git a/htdocs/tips.css b/htdocs/tips.css index c94f58d..8204250 100644 --- a/htdocs/tips.css +++ b/htdocs/tips.css @@ -4,43 +4,40 @@ Copyright 2000 W3C (MIT, INRIA, Keio). All Rights Reserved. See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright - $Id: tips.css,v 1.6 2003-02-24 23:33:18 ville Exp $ + $Id: tips.css,v 1.7 2004-05-09 15:56:49 link Exp $ */ - dl.tip { - text-align: justify; - margin-top: 0em; - background: #eeeeee; - border-top: 1px solid black; + margin-top: 0em; + text-align: center; + background: #eeeeee; + border-top: 1px solid black; border-bottom: 1px solid black; + padding: .5em; } -dl.tip dt a { - text-decoration: none; - color: inherit; -} - dl.tip dt { text-align: center; - padding: 0em; - margin: 0em; - color: black; + color: black; background: #eeeeee; + display: inline; } +dl.tip dt a { + text-decoration: none; + color: inherit; +} + dl.tip dd { text-align: center; text-decoration: none; font-weight: bolder; - margin: .5em; color: blue; + display: inline; + } dl.tip dd a { - padding: .1em .25em; text-decoration: none; - margin: .5em; - display: block; } |