/* jargon css */

div.alphabet{
  padding: 10px 0px;
}

div.alphabet ul {
  margin: 0px 0px 0px 30px;
  padding: 0px;
}

div.alphabet ul li {
  display:inline;
  background-color:#EAEAEA;
  border:1px solid #CCCCCC;
  padding:1px 3px 1px 3px;
  text-align:center;
  width:12px;
  color:#333333;
  margin-left: 3px;
}

div.alphabet ul li:hover {
background-color:#9dd2f4;
text-decoration:none;
}

div.alphabet a {
text-align:center;
width:12px;
}

div.alphabet a:hover {
text-decoration:none;
}

div.alphabet a#active_letter {
background-color:#2FB1CB;
color:#FFFFFF;
}

table.jargon {
  margin: 5px 0px 30px 0px;
  width: 98%;
}
table.jargon tr {
  padding-bottom: 15px;
}
table.jargon td {
  vertical-align: text-top;
}
table#hoverhighlight tr.shaded {
  background: #E3E7E8;
}
table#hoverhighlight tr.highlight td {
background: #A2D1EB;
}

/* end of jargon css */