a.t:link { color:#000; text-decoration:none; }
a.t:hover { color:#000; background-color:#ddf; }
a.t:visited { color:#000; text-decoration:none; }

a.minibutton {
  position:absolute
  display: block;
  background-color: #fff;
  border: 1px solid #00f;
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 3px;
  padding-right: 3px;
  font-size: 60%;
}
a.minibutton:link { color:#00f; text-decoration:none; }
a.minibutton:hover { color:#00f; background-color:#ddf; }
a.minibutton:visited { color:#00f; text-decoration:none; }

a {position: relative; z-index: 1;}
a:hover {z-index: 2;}

.tooltip {display:  none;}
a:hover .tooltip {
  position: absolute;
  top: 30px;
  width: 300px;
  display: block;
  color: #000;
  background-color: #ffa;
  border: 1px solid gray;
  padding: 2px;
  font-size: x-small;
  } 

.kwic {
  font-family: courier;
  font-size: x-small;
}

.kw {
  color: #f00;
}