/* plugin: definitionlist */
 
dl, dt, dd {margin: 0; padding: 0}

dl {
  font-size: 90%;
  padding-top: 1px;
}

html>body dl {
  padding-bottom: 0.5em;
  border-bottom: 1px dashed #e0e0e0;
}

dl:after {
  content: '.';
  display: block;
  clear: both;
  height: 0;
  visibility: hidden;
}

dt {
  clear: left;
  margin-top: 0.5em;
}

dt+dt {
  margin-top: 0;
}

dd+dt {
  border-top: 1px dashed #e0e0e0;
  padding-top: 0.5em;
}

dt span.term {
  float: left;
  width: 10em;
}

dd {
  margin-left: 10.3em;
  padding-left: 0.8em;
  background: url(images/bullet.gif) no-repeat 0 0.4em;
}
 
dd p {
  margin: 0;
  padding: 0;
}

* html dl { height: 1px; }

/* reset above style to prevent messing up plugin manager */
#plugin_manager dd { background-image: none;}


/* end plugin: definitionlist */