@import "base.css";

.synopsis {
  background-color: #d5dee3;
  /*
  border-top-width: 4px;
  border-top-style: double;
  border-top-color: #d3d3d3;
  border-bottom-width: 4px;
  border-bottom-style: double;
  border-bottom-color: #d3d3d3;
  */
  padding: 2px; margin: 0em;
  font-family: courier, fixed, monospace;
}

span.propertyname { 
  font-weight: bold; 
}

.traitname {
  display: inline-block;
  font-style: italic;
  font-family: "Lucida Grande", Lucida, Verdana, sans-serif;
  min-width: 6em;
}

.propertytrait {
  font-family: courier, fixed, monospace;
  margin: 0;
  padding: 2px;
  background-color: #eef2f4;
}

.propertydesc {
  font-family: courier, fixed, monospace;
  margin-top: 0.6em;
  margin-bottom: 0.2em;
}