* {
    box-sizing: border-box;
}

body {
  font: 300 15px/1.5 "Roboto", "HelveticaNeue", "Helvetica Neue", helvetica, arial, sans-serif;
  -webkit-font-smoothing:antialiased;
  line-height: 150%;
  text-align: left;
  background-color: #fff;
  color: black;
  padding-left: 20px;
  padding-right: 20px;
  margin-top: 10px;
  margin-bottom: 0px;
  margin-left: 20px;
  margin-right: 300px;
  /* min-width: 740px; */
  /* max-width: 1080px; */
  /* border: 1px solid #ccc; */
}

div.nav {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 20px;
}

@media screen {
  div.sidebar {
    position: fixed;
    top: 0;
    right: 100px;
    width: 180px;
    height: 10px;
    padding-left: 1em;
    /* top: 20px; */
    /* right: 0; */
    /* width: 150px; */
    /* height:100%; */
  }

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

  p.logo {
    margin-top: 2em;
    margin-bottom: -2em;
  }

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

div.body {
  right: 300px;
}

/* @media screen { */
/*   body>div.nav { */
/*     position: fixed; */
/*   } */
/*   body>div.sidebar { */
/*     position: fixed; */
/*   } */
/* } */

* html body {
  overflow: hidden;
} 

* html div.body {
  height: 100%;
  overflow: auto;
}

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; */
/*   left: 0; */
/*   /\* position: fixed; /\* Make it stick, even on scroll *\/ */
/*   /\* overflow: auto; /\\* Enable scrolling if the sidenav has too much content *\\/ *\/ */
/*   background-color: cyan; */
/* } */

/* 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: 0em 20px 20px 20px; */
  padding: 0;
  background-color: white;
  text-align: left;
  /* border: 1px solid #ccc; */
}

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; */
  background-color: #e7dccf;
  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, h2, h3 {
  display: inline-block;
  color: #1A419d;
  background-color: #f8f8f8;
  margin-top: 1em;
  border-radius: 10px;
  border: 1px solid #1A419d;
  padding: 0.2em;
  box-shadow: 2px 2px 5px blue;
  /* shadow: 2px 2px 5px red; */
}

div.body h4 {
  display: inline-block;
  color: #1A419d;
  background-color: #f8f8f8;
  margin-top: 1em;
  border-radius: 7px;
  border: 1px solid #1A419d;
  padding: 0.1em;
  box-shadow: 1px 1px 2px blue;
  /* shadow: 2px 2px 5px red; */
}

h2 ~ p.indent {
  margin-left: 1em;
}

h3, h3 ~ dl {
  margin-left: 1em;
}

h3 ~ p {
  margin-left: 2em;
}
  
h3 ~ p.indent {
  text-indent: -3em;
  margin-left: 5em;
}

h3 ~ p a {
  font-weight: bold;
}  

h3 ~ dl dt {
  font-weight: bold;
}  

div.body h4, div.body h4 ~ p {
  margin-left: 2em;
}

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

form#licAgree {
  font-size: 1.3em;
  font-weight: bold;
  /* color: #1A419d; */
}

input[type=checkbox] {
  transform: scale(1.5);
  background-color: red;
}

p#readClick {
  padding-top: 10px;
  font-size: 1.3em;
  font-weight: bold;
}

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; margin-top: 10px;}
  div.sidebar { float: none; padding: 0; display: inline-block; width: 100%; }
  div.sidebar h4 { display: inline; color: black; background-color: white; border: 0;
		   padding-top: 0px; }
  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.related ul li.left { display: none; }
  div.sidebar { display: none; }
}

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

/* @media (min-width:320px)  { /\* smartphones, iPhone, portrait 480x320 phones *\/ } */
/* @media (min-width:481px)  { /\* portrait e-readers (Nook/Kindle), smaller tablets @ 600 or @ 640 wide. *\/ } */
/* @media (min-width:641px)  { /\* portrait tablets, portrait iPad, landscape e-readers, landscape 800x480 or 854x480 phones *\/ } */
/* @media (min-width:961px)  { /\* tablet, landscape iPad, lo-res laptops ands desktops *\/ } */
/* @media (min-width:1025px) { /\* big landscape tablets, laptops, and desktops *\/ } */
/* @media (min-width:1281px) { /\* hi-res laptops and desktops *\/ } */
i