/* Nav */
/* Top bar list. */
nav {
  background: black;
  float: left;
  font-weight: bold;
  font-size: smaller;
  list-style: none;
  position: fixed;
  top: 0;
  left: 0;
  white-space: nowrap;
  width: 100%;
}
nav ul {
  list-style: none;
  padding-left: 0.5em;
  -webkit-margin-before: 0;
}

/* Common nav list, anchor styles. */
nav li {
  float: left;
  margin: 0 1em 0 0;
  position: relative;
}
nav a {
  display: block;
  padding: 5px;
  color: lightgray;
  background: black;
  text-decoration: none;
}
nav a:hover {
  color: white;
  background: black;
}

/* First-level dropdown. */
nav ul ul {
  display: none;
  position: absolute;
  top: 100%;
}
nav ul li:hover > ul {
  display: block;
  padding: 0;
}
nav ul ul li {
  float: none;
  font-weight: normal;
  border-top: 1px solid lightgray;
}
nav ul ul li a {
  padding-left: 0.5em;
  padding-right: 0.5em;
}
nav ul ul li a:hover {
  background: green;
}

/* Second-level dropdown. */
nav ul ul ul {
  /* Absolute positioning within li. */
  position: absolute;
  left: 100%;
  top:0;
}

.navheader-search {
  float: right;
  margin-right: 2em;
}
.feedback {
  float: right;
  margin-right: 1em;
}



/* TOC show/hide. */
#toc_hider {
  font-size: larger;
  position: fixed;
  top: 1.5em;
  left: 0;
  padding:0.1em;
}
#toc_hider:hover {
  color: green;
  font-weight: bold;
  cursor: pointer;
}
/* Control arrow display via article fullwidth (or not). */
.openarrow {display: none}
.closearrow {display: block}
.fullwidth .openarrow {display: block}
.fullwidth .closearrow {display: none}

/* Main */
body, div {
  font-family: Verdana, Arial, Helvetica, sans-serif;
}
body {
  padding-bottom: 700pt; /* Allow room for jumps to bottom. */
}

/* This class will be applied to headings selected via the TOC. */
.selected {
  padding-top: 2em;
}

header, h1, h2, h3, h4, h5, .toctitle {
  font-weight: normal;
}
header, h1, h2, h3, h4, h5 {
  margin-top: 0.25em;
  margin-bottom: 0em;
}

/* Allow linked headings to clear the navbar. */
header {
  font-size: 2em;
  padding-bottom: 0.25em;
  border-bottom: solid 1px #ddd;
  padding-top: 1.5em;
}
h1 {
  /* border-bottom: solid 1px #ddd; */
  font-size: 2em;
  padding-top: 1.5em;
}
h2 {
  padding-top: 1.5em;
}
h5 {
  display: inline;
}
h5 + p {
  display: inline;
}

details {
  padding: 0.5em;
}
details[open]{
  border: solid 1px #ddd;
}
summary {
  cursor: pointer;;
}

.draftNotice {
  font-size: 2em;
  padding-top: 1em;
  color: red;
}

/* Highlighting. */
.hl_yellow {
  background-color: rgb(255,255,204);
}
.hl_red {
  background-color: rgb(255,204,204);
}
.hl_green {
  background-color: rgb(204,255,204);
}
.serveronly:after {
  /* Do nothing for now on server only attributes. */
}

dt {
  font-weight: bold;
  padding-top: 0.5em;
}

/* Adjust p, li relationships. */
p, ul, ol {
  margin-left: 0;
  padding-left: 0em;
}
li {
  margin-left: 2em;
  margin-top: 0.25em;
  padding-left: 0em;
}
ul.none {
  list-style-type:none;
  margin: 0;
}

.note:before {
  content: "Note: ";
  font-weight: bold;
}
p.note {
  background-color: rgb(255,255,238);
  border:thin solid black;
  padding: 0.5em;
  margin-right: 4em;
}

/* Figure boxes. */
figure, figcaption {
  margin-left: auto;
  margin-right: auto;
}
figcaption {
  font-size: small;
  font-weight: bold;
}
figure img {
  border: dotted thin gray;
}
body {
    counter-reset: fig;
}
/* Styles for autonumbering figures. */
figcaption:before {
  content: "Figure " counter(fig) ": ";
  counter-increment: fig;
}

table {
  border-collapse: collapse;
  border: thin solid gray;
  margin-top: 1em;
  margin-right: 4em;
}
th {
  font-size: small;
  color: white;
  padding: 0.5em;
  background-color: gray;
  border: thin solid white;
}
td {
  border: thin solid #e9e9e9;
  font-size: small;
  padding: 0.5em;
  vertical-align: top;
}

/* Adjust left margin to #toc size. */
article, #content {
  margin-left: 18em;
  margin-right: 2em;
  padding-left: 2em;
  background-color: white;
  color: black;
}
.fullwidth article {
  margin-left: 0.5em;
  border-left: none;
}

/* Fixed toc: */
#toc {
  position: fixed;
  left: 0;
  padding: 1.5em;
  color: #375eab;
  width: 15em;
  height: 95%;
  border-right: solid thin #ccccff;
  overflow: auto;
}
.fullwidth #toc {
  display: none;
}
#toc li.header {
  list-style-type: none;
  margin-left: 0;
  background-color: #e9e9e9;
  border-bottom: 2px solid #ddd;
}
#toc li.h1 {
  list-style-type: none;
  margin-left: 1em;
  text-indent: -1em;
}
#toc li.h2 {
  list-style-type: disc;
  margin-left: 1.5em;
}
#toc li.h3 {
  list-style-type: circle;
  margin-left: 2em;
}
/* Turn off bullet for li containing other lists in TOC. */
#toc li.container {
  list-style-type: none;
  margin-left: 0;
}

.toctitle {
  font-size: larger;
  font-weight: normal;
  margin-bottom: 0.5em;
}
#toc a:link, #toc a:visited {
  color: #375eab;
  text-decoration: none;
}
#toc li.currenttoc {
  font-weight: bold;
}
#toc li.highlight {
  font-weight: bold;
}

/* Use our formatting for prettyprint blocks (except we're not changing the
 * syntax highlighting). */
pre, .code , pre.prettyprint {
  font-size: larger;
  color: black;
  background-color: #e9e9e9;
  border: 1px solid #e9e9e9;
  border-radius: 0.5em;
  -moz-border-radius: 0.5em;
  -webkit-border-radius: 0.5em;
  margin-left: 0em;
  margin-right: 5em;
  padding-left: 1em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  overflow: auto;
}
pre.plain {
  border: none;
  background-color: transparent;
}
pre.badcode {
  color: #c00;
  background-color: #fff8f8;
  border-color: #fff0f0;
}
code {
  font-size: larger; /* Adjust for inline code. */
  color: #09571b;
}
.deprecated {
  text-decoration: line-through;
}
footer {
  margin-top: 1em;
  padding-top: 1em;
  font-size: 8pt;
  color: #999;
  border-top: 1px solid #999;
}

/* testing a CSS button */
.fbbutton {
  	float: right;
  	margin-right: 1em;
	-moz-border-radius:2px;
	-webkit-border-radius:2px;
	border-radius:2px;
        margin-top: 0.25em;
	background-color: #d14836;
	border:1px solid #d14836;
	display:inline-block;
	color:#ffffff;
	font-family:arial;
	font-size:1em;
	font-weight:bold;
	padding: 0 1em;
	text-decoration:none;
}.fbbutton:hover {
  	cursor: pointer;
}.fbbutton:active {
	position:relative;
	top:1px;
}