body {
  font-family: "HelveticaNeue", "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 14px;
  line-height: 150%;
  text-align: center;
  background-color: #fff;
  color: black;
  padding-left: 20px;
  padding-right: 20px;
  margin-top: 10px;
  margin-bottom: 0px;
  margin-left: auto;
  margin-right: auto;
  min-width: 740px;
  max-width: 1080px;
}

a {
  text-decoration: none;
  color: #1A41A8;
}

a:hover {
  color: #2491CF;
}

pre {
  font-family: "Lucida Console", "DejaVu Sans Mono", Monaco, monospace;
  font-size: 0.95em;
  letter-spacing: 0.015em;
  line-height: 120%;
  padding: 0.5em;
  border: 1px solid #ccc;
  background-color: #f8f8f8;
  overflow: auto;
}

pre a {
  color: inherit;
  text-decoration: underline;
}

cite, code, tt {
  font-family: "Lucida Console", "DejaVu Sans Mono", Monaco, monospace;
  font-size: 0.95em;
  letter-spacing: 0.01em;
  background-color: #f2f2f2;
  border-bottom: 1px solid #ddd;
  color: #333;
}

hr {
  border: 1px solid #abc;
  margin-top: 1em;
  margin-bottom: 1em;
}

p {
  margin: 0.8em 0 0.5em 0;
}

div.sidebar {
  margin: 0;
  padding: 0.5em 15px 15px 0;
  width: 210px;
  float: right;
  text-align: left;
}

div.sidebar h4, div.sidebar h3 {
  margin: 1em 0 0.5em 0;
  font-size: 0.9em;
  padding: 0.1em 0 0.1em 0.5em;
  color: white;
  border: 1px solid #86989B;
  background-color: #AFC1C4;
}

div.sidebar ul {
  padding-left: 1.5em;
  margin-top: 7px;
  list-style: none;
  padding-left: 8px;
  line-height: 130%;
}

div.sidebar ul ul {
  list-style: square;
  color: #1A41A8;
  margin-left: 20px;
}

div.sidebar p {
  margin-left: 3px;
}

div.sidebar p.logo {
  text-align: center;
}

div.bodywrapper {
  margin: 0 240px 0 0;
  border-right: 1px solid #ccc;
  min-height: 500px;
}

div.body {
  margin: 0;
  padding: 0.5em 20px 20px 20px;
  background-color: white;
  text-align: left;
}

div.body ul {
  list-style: square;
}

div.body blockquote {
  margin-left: 0px;
}

div.body a {
  text-decoration: underline;
}

div.body a.anchor {
  text-decoration: none;    
}

div.body a.anchor:hover {
  color: #1A41A8;
}

div.footer {
  background-color: white;
  color: black;
  padding: 3px 8px 3px 20px;
  clear: both;
  font-size: 0.8em;
  text-align: right;
}

table.relatives { 
  background-color: #e5e5e5;
  color: #1A41A8;
  width: 100%;
  border: 1px solid #aaa;
  font-weight: bold;
  text-align: center;
}

table.relatives td th {
 height: 2em;
}

table.relatives a:link { text-decoration: none; }
table.relatives a:visited { text-decoration: none; }
table.relatives a:active { text-decoration: none; }

h1 {
  margin: 0;
  padding: 0.7em 0 0.3em 0;
  font-size: 1.5em;
  color: #1A419d;
}

h2 {
  margin: 1.3em 0 0.2em 0;
  font-size: 1.35em;
  padding: 0;
  color: #1A419d;
}

h3 {
  margin: 1em 0 -0.3em 0;
  font-size: 1.2em;
  color: #1A419d;
}


p.license-title {
 text-align: center;
 padding-bottom: 12px;
}

p.download {
 text-align: center;
}

TD {
 font-size: 100%;
}

span.keyword       { color: #008000 }
span.keywordtype   { color: #604020 }
span.keywordflow   { color: #e08000 }
span.comment       { color: #800000 }
span.preprocessor  { color: #806020 }
span.stringliteral { color: #002080 }
span.charliteral   { color: #008080 }

img.lfloat { float: left; padding: 1ex; background: white; }
li em { font-style: normal; font-weight: normal; }
warn { color : #FF0000 }


@media only screen and (min-width: 760px) and (max-width: 900px) {
  body { margin-left: 30px; margin-right: 30px; min-width: 700px; padding: 0; }
  div.bodywrapper { margin: 10px 0 5px 0; border-right: 0; border-top: 1px solid #ccc; }
  div.localtoc { display: none; }
  div.sidebar { float: none; padding: 0; display: inline-block; width: 100%; }
  div.sidebar h4 { display: inline; color: black; background-color: white; border: 0;}
  div.sidebar p.topless { display: inline; margin-right: 1em; }
}

@media only screen and (max-width: 759px) {
  body { margin-left: 3%; margin-right: 3%; min-width: 0; padding: 0; }
  p.logo { text-align: left; }
  div.bodywrapper { margin: 0; border: 0; }
  div.sidebar { display: none; }
}

@media only screen and (max-width: 400px) {
  div.related ul li.left { display: none; }
}