/* ========================================================= */
/*   Main element basics                                           */
/* ========================================================= */
html,body {
  margin:0;
  padding:0;
  height:100%;
}

body {
  font-family:Verdana, Arial, Helvetica, sans-serif;
  color:#333;
}

h1,h2,h3,h4,dt {
  font-family: Palatino,Georgia,"Times New Roman",serif;
}

p {
  line-height: 1.5em;
}

ol li {
  margin-top: 0.4em;
  margin-bottom: 0.6em;
}

span.clear {
  display:block;
  width:100%;
  clear:both;
}

div.content h2 {
  margin-left:1em;
}

div.content h3 {
  margin-left:3em;
}

div.content p {
  margin-left: 4em;
  margin-right:4em;
}

div.content dl {
  margin-left: 4em;
  margin-right:4em;
}

div.content dl dl {
  margin-left: 0;
  margin-right:0;
}

div.content dl dt {
  font-weight:bold;
  margin-top:0.6em;
}

div.content dl dd {
  margin-top:0.6em;
  margin-bottom:1em;
  line-height:140%;
}

div.content dl p {
  margin-left:0;
}

ol#breadcrumb {
  list-style:none;
  display:inline;
  color:#888;
}

ol#breadcrumb li {
  display:inline;
}

ol#breadcrumb li a {
  color:#888;
}

ol#breadcrumb li a:hover {
  color:#F7F7BD;
}

span.url {
  font-family: "Courier New", Courier, monospace;
}

pre {
  margin-left:5em;
}

pre.prettyprint {
  border:none;
}

ul.argumentList {
  margin-left: 4em;
  margin-right:4em;
}

ul.argumentList li {
  margin-bottom: 0.4em;
}

ul.argumentList h3 {
  margin-left:0.8em;
  margin-bottom:0;
  padding-bottom:0;
}

ul.argumentList p {
  margin-left:1em;
  margin-right:0;
  margin-top:0;
}

div.content div.functionList{
  margin-left: 4em;
  margin-right:4em;
}

div.content div.functionList ul li {
  margin-bottom:0.6em;
}

div.content div.functionList ul li p.summary {
  margin-left:0em;
  margin-right:1em;
  margin-top:0;
  color:#666;
}

/* ========================================================= */
/*   Layout                                                  */
/* ========================================================= */

div#container {
  width:960px;
  margin:0 auto;
  padding: 0 0 2em 0;
}

/* ========================================================= */
/*   Element styling                                         */
/* ========================================================= */


/* Main content link styles */
a,
span.selectedLink {
  color:#175289;
  text-decoration:underline;
  padding: 3px 3px 3px 3px;       /* Gives breathing room round text when :hover background colour is applied */
  margin-right:-3px; /* Removes unwanted spacing introduced by above padding e.g. word followed ... */
  margin-left:-3px;  /* ... by punctuation mark would otherwise have [word<3px gap>punctuation - not good! */
}

a:link {

}

a:visited {
  color:#680082;
}

a:hover,
a:focus,
a.focused,
span.selectedLink,
h2.selectedLink
{
  text-decoration:none;
  background-color:#175289;
  color:#F7F7BD;
}

a:active {

}

/* Table of contents  */
ol.toc {
  margin-top:2em;
  border-top:1px solid #999;
  padding-top:1em;
}

ol.toc a {
  display:block;
  width:100%;
}

ol.toc p {
  margin-bottom:0.4em;
}

ol.toc li {
  margin-bottom:1em;
}