BODY {
	color: #000000;
}

a.menu {
	text-decoration: underline;
	color: #003F80;
	display: inline;
}

a:Hover {
	text-decoration: none;
	color: #3163CE;
	cursor: pointer;
	display: inline;
}

a.menuOff {
	text-decoration: none;
	color: #003F80;
	font-style: italic;
	display: inline;
}

a.menuOff:Hover {
	text-decoration: none;
	color: #003F80;
	font-style: italic;
	cursor: default;
	display: inline;
}

.menu {
	text-decoration: underline;
	color: #003F80;
	display: inline;
}

.menu:Hover {
	text-decoration: none;
	color: #3163CE;
	cursor: pointer;
}

.menuDis {
	text-decoration: none;
	color: grey;
	display: none;
	cursor: default;
}

.menuOff {
	text-decoration: none;
	color: #003F80;
	font-style: italic;
	display: inline;
}

.bodystyle {
	color: #000000;
	font-size: 14px;
	font-family: "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", "DejaVu Sans", "Verdana", "sans-serif";
}
.menustyle {
	color: #003F80;
	font-weight: bold;
	font-size: 14px;
	font-family: "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", "DejaVu Sans", "Verdana", "sans-serif";
}

.style2 {
	color: #003F80;
	font-weight: bold;
	font-size: 11px;
	font-family: Tahoma;
}

div.working {
  position: absolute;
  top: 270px;
  left: 500px;
  width: 200px;
  height: 50px;
  background: white;
  text-align: center;
  font-weight: normal;
  font-size: 24px;
  color: #009933;
  display: none;
  z-index: 2;
}

div.title {
  text-align: center;
  font-weight: bold;
  padding-top: 10px;
  padding-bottom: 4px;
}

p.title2 {
  text-align: center;
  font-weight: bold;
  text-align: center;
  font-size: 24px;
  padding-top: 6px;
  padding-bottom: 6px;
  margin-top: -16px;
}

div.field {
  text-align: right;
  width: 130px;
  font-weight: normal;
  padding-bottom: 3px;
  padding-right: 12px;
}

div.field2 {
  text-align: right;
  width: 130px;
  font-weight: normal;
  padding-bottom: 3px;
  padding-left: 10px;
  padding-right: 0px;
}

div.buttons{
  text-align: right;
  width: 100%;
  font-weight: normal;
  padding-bottom: 3px;
  padding-bottom: 6px;
}

div.copyright{
  text-align: left;
  width: 730px;
  font-weight: normal;
  font-size: 10px;
}

input.param {
  width: 80px;
  background-color: white;
  border: 1px solid black;
}

input.sigma {
  width: 100px;
  background-color: white;
  border: 1px solid black;
 }

input.sigma:disabled {
  width: 100px;
  background-color: #dddddd;
  border: 1px solid black;
 }

.mybutton {
  background-color: #99ccff;
  border: 1px solid #000000;
  border-radius: 8px;
  color: black;
//  width: 100px;
  width: 70px;
  height: 30px;
  text-align: center;
  text-decoration: none;
  display: inline-block;
  font-size: 16px;
  font-weight: bold;
  margin: 6px 3px;
  cursor: pointer;
}

.mybutton:not(:disabled):hover {
  background-color: #cce6ff;
}

.cpbutton {
  background-color: #99ccff;
  border: 1px solid #000000;
  border-radius: 8px;
  color: black;
  width: 58px;
  height: 24px;
  text-align: center;
  text-decoration: none;
  display: inline-block;
  font-size: 14px;
  font-weight: bold;
  margin: 6px 2px 2px 2px;
  cursor: pointer;
}

.cpbutton:not(:disabled):hover {
  background-color: #cce6ff;
}

.mycheckbox {
  width: 18px;
  height: 18px;
  vertical-align: middle;
  cursor: pointer;
}

div.modalBgrnd {
	display: none;
   position: fixed;
   z-index: 3;
   background-color: transparent;
   left: 0;
   top: 0;
   width: 100%; /* Full width */
   height: 100%; /* Full height */
}

div.modalCntrls {
	position: absolute;
   background-color: white;
	top: 60px;
	left: 20px;
	width: 180px;
	height: 410px;
	border: none;
}

div.modalText {
	position: absolute;
   background-color: white;
	top: 60px;
	left: 220px;
	width: 480px;
	height: 373px;
	border: 1px solid #999999;
	font-size: 16px;
	padding: 6px 12px 6px 12px;
}

div.modalFootnote {
	position: absolute;
   background-color: white;
	background: white;
	text-align: center;
	font-weight: normal;
	font-size: 14px;
	color: black;
	top: 455px;
	left: 220px;
	width: 480px;
	height: 15;
	border: none;
}

div.info {
	display: block;
	margin: 0;
	position: absolute;
	top: 50%;
	left: 50%;
	-ms-transform: translate(-50%, -50%);
	transform: translate(-50%, -50%);
	width: 700px;
	height: 450px;
	padding: 24px;
	background-color: white;
	border: 1px solid #b3b3b3;
	border-radius: 25px;
	box-shadow: 0px 0px 40px 10px #b3b3b3;
}

button.close {
	position: absolute;
	background-color: transparent;
	border: none;
	top: 1px;
	right: 5px;
	height: 50px;
	width: 40px;
	text-align: center;
	color: #000000;
	font-family: Arial, sans-serif;
	font-size: 30pt;
	font-weight: bold;
	cursor: pointer;
	transition: 0.3s;
	touch-action: manipulation;
}

button.close:hover {
	color: #ff2222;
}

div.copyVerify {
	display: none;
	position: absolute;
	margin: auto;
	border: 1px solid black;
   border-radius: 3px;
	padding: 3px;
   background-color: black;
	top: 450px;
	left: 200px;
	-ms-transform: translate(-50%, 0%);
	transform: translate(-50%, 0%);
	color: white;
   font-family: Arial, sans-serif;
   font-size: 10pt;
}

div.pasteVerify {
	display: none;
	position: absolute;
	margin: auto;
	border: 1px solid black;
   border-radius: 3px;
	padding: 3px;
   background-color: black;
	top: 450px;
	left: 260px;
	-ms-transform: translate(-50%, 0%);
	transform: translate(-50%, 0%);
	color: white;
   font-family: Arial, sans-serif;
   font-size: 10pt;
}

div.infoExamples {
	display: block;
	margin: 0;
	position: absolute;
	top: 50%;
	left: 50%;
	-ms-transform: translate(-50%, -50%);
	transform: translate(-50%, -50%);
	width: 700px;
	height: 550px;
	padding: 24px;
	background-color: white;
	border: 1px solid #b3b3b3;
	border-radius: 25px;
	box-shadow: 0px 0px 40px 10px #b3b3b3;
}

 div.examplesWrapper {
	position: absolute;
	display:block;
	top: 80px;
	left: 15px;
	width: 700px;
	height: 470px;
	padding: 0px 10px 0px 10px;
	border: 1px solid black;
}

 div.examplesContent {
	position: absolute;
	display:block;
	overflow: auto;
	top: 0px;
	left: 10px;
	width: 680px;
	height: 460px;
	padding: 0px 10px 0px 10px;
	font-family: "Times New Roman", Times, serif;
   font-size: 13pt;
}

div.chapterTitle {
	display:block;
	margin-top: 6pt;
	margin-bottom: 3pt;
   font-family: Arial, sans-serif;
	color: #264d73;
	font-weight: bold;
   font-size: 14pt;
	cursor: pointer;
}

div.chapterTitle:hover {
	  background-color: #cce6ff;
}

div.sectionTitle {
	display:block;
	margin-bottom: 3pt;
	margin-left: 12pt;
   font-family: Arial, sans-serif;
	color: #264d73;
	font-weight: bold;
   font-size: 13pt;
	cursor: pointer;
}

div.sectionTitle:hover {
	  background-color: #cce6ff;
}

.symb {
  font-family: "Times New Roman", Times, serif;
  font-weight: bold;
  font-size: 16pt;
}

p.examples {
	margin-top: 0pt;
	margin-bottom: 3pt;
	font-family: "Times New Roman", Times, serif;
	font-style: normal;
   font-size: 14pt;
}

ul.examples {
	list-style-type: disc;
	margin-top: 0pt;
	margin-bottom: 6pt;
	font-family: "Times New Roman", Times, serif;
	font-style: normal;
   font-size: 14pt;
}

li.examples {
	padding-top: 3pt;
}

a.examples {
	text-decoration: underline;
	color: #003F80;
	display: inline;
	font-family: "Times New Roman", Times, serif;
	font-weight: bold;
   font-size: 14pt;
}

a.examples:Hover {
	text-decoration: none;
	color: #3163CE;
	cursor: pointer;
}

.tooltip .tooltiptext {
  width: 150%;
  visibility: hidden;
  background-color: #ffffcc;
  color: black;
  text-align: center;
  border: 1px black solid;
  border-radius: 6px;
  padding: 2px 6px;
  position: absolute;
  z-index: 1;
  top: 125%;
  left: 50%;
  margin-left: -75%;
  font-family: Arial, sans-serif;
  font-size: 10pt;
  font-weight: normal;
  transition: visibility 0s;
  transition-delay: 0s;
}

.tooltip .tooltiptext::after {
  content: "";
  position: absolute;
  bottom: 100%;
  left: 50%;
  margin-left: -5px;
  border-width: 5px;
  border-style: solid;
  border-color: transparent transparent black transparent;
}

.tooltip:hover .tooltiptext {
  visibility: visible;
  transition-delay: 0.5s;
}

.tooltiphide {
  position: absolute;
  visibility: hidden;
}

td.refNum {
	vertical-align: top;
	font-family: "Times New Roman", Times, serif;
	font-style: normal;
   font-size: 13pt;
	width: 30px;
}

td.ref {
	vertical-align: top;
	font-family: "Times New Roman", Times, serif;
	font-style: normal;
   font-size: 13pt;
	padding-bottom: 10px;
}