/* _________ Stylesheet for Silva version 1.3 frontend _______________ */
/* _________ Silva users can insert their own frontend styles _________ */
/* _________ Styles modified here will affect the Silva preview  ______ */
/*
**  Instructions to set caching headers. Inside comments area to play nicer with CSS editors.
** ** 
** 
** 
** 
*/

/* _______ selector groups _______ */
/* 
silva frontend layout
alignments
typography
silva specific typography
silva list styles
links
silva table styles
various table layouts
CSS2 selectors
Silva documentation specific selectors
*/


body {
  margin: 0;
  color: #2d374c;
  /* make an absolute path to the image to prevent duplicate caching */
  background-image: url(http://www.infrae.com/globals/skyfade.gif); 
  background-repeat: repeat-x;
  background-color: #dde5ee;
  font: 70% Verdana, Helvetica, Arial, sans-serif;
}


/* ______________________________________________ silva frontend layout _____ */

div.header {
  margin: 2em 2.1em 0 0;  
}

div.header a.icon {
  display: block;
  float: left;
  width: 7em;
  text-align: center;
}

/* defines the width of the text in the preview/public layout */
/* duplicated from silva.css */
.public {
  margin-left: 7em;
  padding-top: 2.3em;
  max-width: 44em;
  /* for IE5 */
  width: 512px;
}

/* this selector works only for standards compatible browsers like mozilla */
/* IE ignores this definition below */
body>div.public {
  width: 44em;
}


/* _______________________________________________________ alignments _____ */

.image-left {
  text-align: left;
}

.image-center {
  text-align: center;
}

.image-right {
  text-align: right;
}

.float-left {
  float: left;
  margin-right: 1em;
  clear: none;
}

.float-right {
  float: right;
  margin-left: 1em;
  clear: none;
}


/* _________________________________________________________ typography _____ */

h1, h2, h3, h4, h5, h6 {
  margin: 1em 0 0.5em 0;
  color: #455885;
}


h2 {
  margin-top: 0.8em;
  margin-bottom: 0.7em;
  font-size: 160%;
}

h3 {
  margin-bottom: 0.6em;
  font-size: 145%;
}

h4 {
  font-size: 120%;
}

h5 {
  font-size: 105%;
}

h6 {
  color: #676767;
  font-size: 100%;
}

h6.minor {
  color: #454545;
  font-size: 90%;
}

.subhead {
  color: #333767;
  font-weight: bold;  
  font-family: verdana, arial, helvetica, sans-serif;
  line-height: 1.6em;
} 

p {
  margin: 0.5em 0em;
  text-align: left;
}

ul {
  margin: 0.5em 0em;
  /* override default indent */
  padding-left: 1.4em; 
}

ol {
  margin: 0.5em 0em;
  /* override default indent */
  padding-left: 1.9em; 
}

dt {
  background: transparent;
  font-weight: bold;
}

dd {
  background: transparent;
  margin-left: 1.5em;
}

pre {
  padding: 0;
  border: none;
  color: #444466;
  background-color: transparent;
  font-size: 120%;
}


/* ________________________________________ silva specific typography _____ */

p.lead {
  font-weight: bold;
}

p.annotation {
  font-style: italic;
}

div.citation {
  margin: 1em 3em;
  padding: 0.4em 2em 1.2em 2em;
  border: 1px solid #426061;
  color: #426061;
  background-color: #f4f3db;
  font-size: 110%;
}

div.citation p {
  margin: 0.5em 0em;
}

div.citation p.author {
  margin-bottom: 0;
  font-size: 90%;
  font-weight: bold;
}

div.citation p.source {
  margin-top: 0;
  margin-bottom: 0;
  font-size: 90%;
}


/* __________________________________________________ silva list styles _____ */

ul.disc {
  list-style-type: disc;
}
  
ul.square {
  list-style-type: square ! important;
} 

ul.circle {
  list-style-type: circle;
} 

ul.nobullet {    
  list-style-type: none;   
}

ol.decimal {
  list-style-type: decimal;
} 

ol.upper-roman {
  list-style-type: upper-roman;
}

ol.lower-roman {
  list-style-type: lower-roman;
}

ol.upper-alpha {
  list-style-type: upper-alpha;
}

ol.lower-alpha {
  list-style-type: lower-alpha;
}


/* ____________________________________________________________ links _____ */

span.breadcrumb a {
  text-decoration: none;
}  
span.breadcrumb a:hover {
  text-decoration: underline;
}  

/* highlighting index links */
/* keep this if you markup text with index elements, this overrides the highlighting in the editor */
a.index-element {
  background-color: transparent;
  text-decoration: none;
}

div.public a:link {
  color: #0000aa;
  text-decoration: underline;
}
div.public a:visited {
  color: #4a00b2;
  text-decoration: underline;
}
div.public a:active {
  color: #3399cc;
}
div.public a:hover {
  color: #0000ff;
  text-decoration: none;
}

a img {
  border: 0;
}
  
/* _________________________________________________ silva table styles _____ */

table.silvatable {
  empty-cells: show;
  border-collapse: collapse;
  margin-bottom: 1em;
}
table.silvatable tr {
  vertical-align: top;
} 
table.silvatable tr.rowheading {
  font-weight: bold;
} 
table.silvatable td {
  border-right: none ! important;
} 
table.silvatable th.align-left, table.silvatable td.align-left {
  text-align: left;
}
table.silvatable th.align-center, table.silvatable td.align-center {
  text-align: center;
}
table.silvatable th.align-right, table.silvatable td.align-right {
  text-align: right;
}

table.datagrid, table.plain, table.list, table.grid {
  width: 100%;
}

table.plain {
  border-style: none;
} 
table.plain td {
  border-right: none ! important;
}
 
table.list td {
  border-bottom: 1px solid #444444;
} 

table.list tr.rowheading td, table.list thead th {
  border-bottom: 2px solid #444444;
} 
  
table.grid td, table.grid thead th {
  border: 2px solid #444444;
  border-right: 2px solid #444444 ! important;
} 
  
table.datagrid td {
  border: 2px solid #444444;
  border-right: 2px solid #444444 ! important;
} 
table.datagrid tr.rowheading td {
  border-top-style: none;
  border-left-style: none;
  border-right-style: none ! important;  
} 

table.simple {
  border-style: none;
}

table.simple thead th {
  font-weight: normal;
}

td.even table td {
  border-right: none ! important;
}


/*___________________________________________ various table layouts _____ */ 

table.black_border td,
table.black1 td,
table.red td, 
table.green td {
  padding: 0 5px;
}

table.black_border { 
  border: 1px solid black;
}

table.black_border td { 
  border: 1px solid black;
}

table.black_border tr.odd td { 
  background-color: #c1c1c1; 
}

table.black1 tbody { 
  border-right: 1px solid black; 
}

table.black1 td {
  border: 1px solid black;
}

table.red { 
  border: 1px solid darkred;
}

table.red td {
  border: 1px solid darkred;
}

table.red tr.odd td {
  background-color: #d0bbbb;
}

table.green {
  border: 1px solid darkgreen;
}

table.green td {
  border: 1px solid darkgreen;
}

table.green tr.odd td {
  background-color: #b3c99c;
}

/* definitions for batching */
div.listingBar {
  width: 60em;
  margin: 2em 0;
}

div.listingBar .next {
  margin-left: 5em;
} 

div.listingBar .previous {
  margin-right: 5em;
}


/*__________________________________________________ CSS2 selectors _____ */ 

acronym[title], abbr[title] {
  cursor:help;
}

h2 + h3 {
  margin-top: 0.9em;
}

h3 + h4 {
  margin-top: 1em;
}


/* _______________________ Silva documentation specific selectors _______ */

/* above selectors should be default frontend.css */

div.public {
  margin-left : 5em;
  padding-top : 1.2em;
  float: left;
}

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

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

/* underline transform for button indication */
u {
  color : #2b5557;
  background : transparent;
  border : 1px solid #426061;
  padding: 0em 0.3em;
  text-decoration : none;
}

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

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

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;
}

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

/* for screenshots */
div.public img.default {
  margin-top : 0.6em;
  border: 3px double #6bb591;
}
div.public h3.heading + img, div.public h4.heading + img, div.public h5.heading + img {
  margin-top : 0.4em;
}

/* end cascade */