body { font-family:Verdana, Arial, Helvetica, sans-serif; font-size:1em; }
h1 { font-size: 1.8em; }
h2 { font-size: 1.6em; }
h3 { font-size: 1.3em; margin-top: 1em; }

table {
  border: 1px black solid;
  border-spacing: 0px;
}

td {
  font-size:1em;
  border-bottom: 1px grey dotted;
  border-right: 1px grey dotted;
  padding: 2px;
}

th {
  background-color: #DDDDDD;
  font-size:1em;
  border-bottom: 1px grey dotted;
  border-right: 1px grey dotted;
  padding: 2px;
}

pre {
  background-color: #DDDDDD;
  margin-left: 4em;
  margin-right: 4em;
  padding-left: 0.3em;
  padding-right: 0.3em;
  padding-top: 0.3em;
  padding-bottom: 0.3em;
  font-size:1em;
}

code {
  background-color: #DDDDDD;
  padding-left: 0.3em;
  padding-right: 0.3em;
  font-size:1em;
}

.glossarylink {
  font-family: serif;
  font-style: oblique;
}

.breadcrumbs {}

.spacer_row td { font-size:0.5em; padding:0px; }

.subsection_heading { font-weight: bold; font-size: 1.2em; }

.subsection_heading_desc { font-weight: normal; font-size: 1.2em; }

table.arraytable {
  margin-top: 2em;  
  margin-bottom: 2em;  
  margin-left: 2em;  
}

div.functionPageTitle {
  font-size: 1.5em;
  padding-top: 1em;
  padding-bottom: 1em;
}

div.functionPageTitle span.titleLabel {
  font-style: oblique;
}

div.functionPageTitle span.title {
  font-weight: bold;
}

div.glossaryPageTitle {
  font-size: 1.5em;
  padding-top: 1em;
  padding-bottom: 1em;
}

div.glossaryPageTitle span.titleLabel {
  font-style: oblique;
}

div.glossaryPageTitle span.title {
  font-weight: bold;
}