/* Red/green coloring for PASS and FAIL. */
span.pass 
  { color: #66BB66 }
span.fail 
  { color: #FF0000 }

html,body 
  {
  width: 80%;
  height: 100%;
  margin: 0 auto;
  padding: 0px;
  text-align: justify;
  }

/* Styling for <code></code> blocks, adds a background color. */
code
  {
  background-color:#f8f8f8;
  }

/* Styling for all the "(Click here to view the output of this program)" widgets. */
button.accordion 
  {
  background-color: #fff;
  color: #E68A2E;
  cursor: pointer;
  width: 100%;
  border: none;
  text-align: left;
  outline: none;
  }

button.accordion.active, button.accordion:hover 
  { background-color: #fff; }

div.panel 
  {
  display: none;
  background-color: white;
  }

div.panel.show 
  {
  display: block;
  background-color: white; 
  }

/* Adds more vertical whitespace above /section headings. */
h1 
  {
  margin-bottom: 10px;
  margin-top: 70px; 
  }

/* Adds horizonal scroll bars to include'd source code fragments, as needed. */
div.fragment 
  {
	overflow-wrap:normal;
	overflow-x:auto; 
  overflow-y:hidden;
  }

/* A class for presenting test runner output. */
div.testrunner
  {
  overflow-wrap: normal;
  overflow-x: auto;
  overflow-y: hidden;
  padding: 8px;
  margin: 4px 8px 4px 2px;
  border: 1px solid #C1E8CE;
  font-family:monospace;
  background-color: #606060;
  white-space: pre;
  font-size: 13px;
  min-height: 13px;
  line-height: 1.0;
  }

/* Prevents word wrapping within include'd source code lines. */
div.line 
  {
	white-space: -moz-pre; /* Moz */
	white-space: -pre;     /* Opera 4-6 */
	white-space: -o-pre;   /* Opera 7 */
	white-space: pre;      /* CSS3  */
	word-wrap: break-word; /* IE 5.5+ */
	}

/* Shrink some of these large images down in the documentation. */
div.image img[src="windows_cmake1.png"]{ width:100%; }
div.image img[src="windows_vsopen1.png"]{ width:100%; }
div.image img[src="windows_build1.png"]{ width:100%; }
div.image img[src="windows_dir1.png"]{ width:100%; }
div.image img[src="windows_color1.png"]{ width:100%; }
div.image img[src="windows_color2.png"]{ width:100%; }
div.image img[src="windows_color3.png"]{ width:100%; }