a {
  text-decoration: underline;
  image-decoration: none;
  decoration: none;
}

a:hover {
  text-decoration: none;
}

img {
  border: 0px;
}

img.tree-plus-node, img.tree-minus-node {
	cursor: pointer;
}

.property, .property a {
  color: #0000FF;
}

.property a:visited {
  color: #000099;
}

.type, .type a {
  color: #C82828;
}

.type a:visited {
  color: #881B1B;
}

.deprecated {
  font-weight: bold;
}

.show_inherited a {
  font-size: 90%;
  font-family: "Times New Roman";
  font-weight: bold;
  color: gray;
  text-decoration: none;
}

.inherited, .inherited div {
  background-color: #dddddd;
}