BODY {
   font-family: Arial, Helvetica, sans-serif;
   background: #faf7f1;
}

/* links */
A:link { color: navy }
A:visited { color: navy }
A:active { color: navy }
A:hover { background-color: lightyellow; color: red }
/* don't change background color for image links */
A.aImg:hover { background-color: transparent; }

img.bg { border: 0px; padding: 0px }
img { border: 0px; padding: 5px }

/* light brown */
.tableBG { background-color: #e4d2b8; }

/* for header */
H1.faqTitle {
   font-size: 150%;
   font-weight: normal;
   font-family: Arial, Helvetica, sans-serif;
   text-align: center
}

/* for the content */
.mainContent {
}

/* for the menu on the left side */
.menu {
	padding-right: 10px;
	border-style: solid;
	border-width: 0px 1px 0px 0px;
}

/* for error and informational messages */
.msg {
	position: relative;
	margin-left: auto;
	margin-right: auto;
	padding-top: 40px;
	font-family: Helvetica, sans-serif;
	text-align: center;
}

/* for read/write status */
.rwStatus {
	font-family: Helvetica, sans-serif;
	color: red;
}

.red {
	color: #FF3030;
}

/* arrow and THEAD TD are for sortable tables */
.arrow { font-size: 12px; color: black; overflow: hidden; margin-bottom: 0; margin-top: 0; padding: 0; }

/* this mimics for table header cell what the TH tag does - bold font and centered text */
THEAD TD { text-align: center; font-weight: bold }

/* for the Diff pages */
.added { background:#ccffcc }
.removed { background:#ffcccc }
.changed { background:#ccffff }
.diff { text-align:center }
.lineno { text-align:center }

CODE {
	color: rgb(0,0,0);
	font-family: monospace;
	font-size: 12px;
	display: block;
	white-space: nowrap;
	overflow: auto;
}

/* the rest of the file is for use with the code highlighter */
.java_type {
	color: rgb(0,44,221);
}
.java_comment {
	color: rgb(147,147,147); background-color: rgb(247,247,247);
}
.java_operator {
	color: rgb(0,124,31);
}
.java_separator {
	color: rgb(0,33,255);
}
.java_plain {
	color: rgb(0,0,0);
}
.java_javadoc_comment {
	color: rgb(147,147,147); background-color: rgb(247,247,247); font-style: italic;
}
.java_keyword {
	color: rgb(0,0,0); font-weight: bold;
}
.java_literal {
	color: rgb(188,0,0);
}
.java_javadoc_tag {
	color: rgb(147,147,147); background-color: rgb(247,247,247); font-style: italic; font-weight: bold;
}
.java_annotation {
	color: rgb(80,80,80); font-style: italic;
}

.xml_plain {
	color: rgb(0,0,0);
}
.xml_char_data {
	color: rgb(193,0,0);
}
.xml_tag_symbols {
	color: rgb(0,59,255);
}
.xml_comment {
	color: rgb(147,147,147);
	background-color: rgb(247,247,247);
}
.xml_attribute_value {
	color: rgb(193,0,0);
}
.xml_attribute_name {
	color: rgb(0,0,0); font-weight: bold;
}
.xml_processing_instruction {
	color: rgb(0,0,0); font-weight: bold; font-style: italic;
}
.xml_tag_name {
	color: rgb(0,55,255);
}

.cpp_plain {
	color: rgb(0,0,0);
}
.cpp_keyword {
	color: rgb(0,0,0);
	font-weight: bold;
}
.cpp_type {
	color: rgb(0,44,221);
}
.cpp_operator {
	color: rgb(0,124,31);
}
.cpp_separator {
	color: rgb(0,33,255);
}
.cpp_literal {
	color: rgb(188,0,0);
}
.cpp_comment {
	color: rgb(147,147,147);
	background-color: rgb(247,247,247);
}
.cpp_doxygen_comment {
	color: rgb(147,147,147);
	background-color: rgb(247,247,247);
	font-style: italic;
}
.cpp_doxygen_tag {
	color: rgb(147,147,147);
	background-color: rgb(247,247,247);
	font-style: italic;
	font-weight: bold;
}
.cpp_preproc {
	color: purple;
}

/* the following is for the dropdown menu */

/* Style The Dropdown Button */
.dropbtn {
  color: #01336b;
  border: none;
  cursor: pointer;
}

/* The container <div> - needed to position the dropdown content */
.dropdown {
  position: relative;
  display: inline-block;
}

/* Dropdown Content (Hidden by Default) */
.dropdown-content {
  display: none;
  position: absolute;
  min-width: 160px;
  background-color: #f9f9f9;
  box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
  z-index: 1;
}

/* Links inside the dropdown */
.dropdown-content a {
  color: #01336b;
  padding: 12px 16px;
  text-decoration: none;
  display: block;
}

/* Change color of dropdown links on hover */
.dropdown-content a:hover {background-color: #f1f1f1}

/* Show the dropdown menu on hover */
.dropdown:hover .dropdown-content {
  display: block;
}