.domtooltips_tooltip{
  position: absolute;
  z-index: 100;
  margin-top: -15px;
  margin-left: -25px;
  border: 1px solid #FF6C00;
  -moz-border-radius: 7px;
  -webkit-border-radius: 7px;
  -opera-border-radius: 7px;
  border-radius: 7px;
  padding: 7px;
  width: 200px;
  background: #FFFDF7;
  font-family: Verdana, Arial, sans-serif;
  font-size: 8pt;
  color: #666;
}

.domtooltips_tooltip a{
color: #8F3707;
}

.explanatory_dictionary a:hover, .explanatory_dictionary a.explanatory_dictionary_selected_letter{
  text-decoration: underline;
}

.explanatory_dictionary div.explanatory_dictionary_first{
  margin-top: -10px;
}

.explanatory_dictionary span.explanatory_dictionary_word{
  font-weight: bold;
}