/* _______ Stylesheet for Silva docs _____________________
**  Instructions to set caching headers. Inside comments area to play nicer with CSS editors.
** ** 
** 
** 
** 
**
** _______ Selector groups _______
**
** overrides
** toc
** content area
*/

/* overrides for frontend.css selectors */
div.header {
  height: 16px;
  margin: 0;
}
div.public {
  margin-left: 5em;
  padding-top: 1.2em;
  float: left;
}

div.utilities {
  margin : 1em 0 0;
  padding-left : 1.7em
}

/* _______ toc _______ */

div.toc {
  float: left;
  width: 18em;
  padding: 1.1em 0 0 17px;
  /* border: 1px solid red; */
}

.subhead {
  color: #333767;
  font-size: 120%;
  font-family: verdana, arial, helvetica, sans-serif;
  font-variant: small-caps;
} 

img.locator {
  margin-left: -1.25em;
}

div.toc a {
  text-decoration: none;
}
div.toc a:active {
  color: #3399cc;
}
div.toc a.location {
  font-weight: bold;
}

/* _______ content area _______ */

div.public a.icon {
  margin-left: 0.4em;
}

/* for screenshots */
div.public img.image-left {
  margin-top: 0.6em;
  border: 1px solid #aaa;
}

p.annotation {
  margin-bottom: 1em;
  font-style: normal;
  font-size: 95%;
}

pre {
  margin-left: 1.5em;
  color: #382963;
  font-size: 9pt;
}

div.subscriptionform {
  margin-top: 4em;
}

div.public h3.heading + img, div.public h4.heading + img, div.public h5.heading + img {
  margin-top: 0.4em;
}

/* _______ copy _______ */

div.copy {
  clear: both;
  display: block;
  float: left;
  width: 18em;
  padding: 0.9em 0 1.2em 17px;
}

div.copy p {
  font-size: 90%;
}

div.copy a {
  text-decoration: none;
}

/* _______ footer _______ */

div.footer {
  display: block;
  float: left;
  margin-left: 5em;
  padding-top: 2.5em;
  /* for IE5 */
  width: 512px;
}

/* early IE ignores this definition */
body>div.footer {
  width: 44em;
}

/* developer jumplinks */
div.header a.reveal {
  color: #e4f4ec;
  text-decoration: none;
}
div.header a.reveal:visited {
  color: #e4f4ec;
  text-decoration: none;
} 
div.header a.reveal:hover {
  color: #8b9194;
  text-decoration: none;
}

table.silvatable th {
  text-align: left;
}

/* lose the bullets in the search results ul */
div.searchresults ul {
  list-style-type:none;
  padding-left:0;
}

/* end cascade */