diff options
Diffstat (limited to 'htdocs/tips.css')
-rw-r--r-- | htdocs/tips.css | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/htdocs/tips.css b/htdocs/tips.css deleted file mode 100644 index 609e290..0000000 --- a/htdocs/tips.css +++ /dev/null @@ -1,41 +0,0 @@ -/*! - Quality Tips Style Sheet for the W3C Markup Validation Service. - - Copyright 2000 W3C (MIT, INRIA, Keio). All Rights Reserved. - See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright -*/ - -dl.tip { - margin-top: 0em; - text-align: center; - background: #eeeeee; - border-top: 1px solid black; - border-bottom: 1px solid black; - padding: .5em; -} - -dl.tip dt { - text-align: center; - 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; - color: blue; - display: inline; - -} - -dl.tip dd a { - text-decoration: none; -} - |