/*
   Quality Tips Style Sheet for the W3C HTML Validation Service.

   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.3 2002-09-29 22:17:56 link Exp $
*/


dl.tip {
/*  float: right; */
  text-align: justify;
/*  width: 25ex; */
  margin-top:    0em;
  background:    #eeeeee;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
}

dl.tip dt a {
  text-decoration: none;
  color: inherit;
} 

dl.tip dt {
  text-align: center;
  padding: 0em;
  margin: 0em;
  color: black;
  background: #eeeeee;
}

dl.tip dd {
  text-align: center;
  text-decoration: none;
  font-weight: bolder;
  margin: .5em;
  color: blue;
/*  border: .1em dashed black; */
}

/ * dl.tip dd a:hover {
  color: blue;
  background: silver;
} */

dl.tip dd a {
  padding: .1em .25em;
  text-decoration: none;
  margin:  .5em;
  display: block;
}