/*  B. Manolov */
/* undo MH's BASE.CSS. Set top and bottom margins to 0*/
ol,ul,dl {	
	margin: 0em 2em;
}

body {
  line-height: 1.5em;
  font-size: 0.9em;
  color: #111;
  background-color: #fffefc;
  /* top, right, bottom, left */
  margin: 0 5% 3% 10%;
  padding: 0;
}

table {
  font-size: 1em;
  line-height: 1.5em;
}

td { 
  vertical-align:middle;
  border:1px solid gray;
}

table caption {
  color: #003366;
  background-color: transparent;
  font-weight: bold;
}

h1, h2, h3, h4, h5, h6, dt {
  font-weight: normal;
  color: #036;
  background-color: white;
  line-height: 1.5em;
  text-decoration: none;
  border-bottom: 1px solid silver;
}

h1 {
  font-size: 1.7em;
  font-style: normal;
  margin-top: 3%;
  margin-left: -7%;
  padding-left: 1%;
  border-bottom: 1px solid black;
}

h2 {
  font-size: 1.6em;
  font-style: normal;
  margin-left: -5%;
  padding-left: 1%;
}

h3 {
  font-size: 1.5em;
  font-style: italic;
  margin-left: -3%;
  margin-top: 3%;
  padding-left: 1%;
}

h4 {
  font-size: 1.4em;
  font-style: normal;
  margin-left: -2%;
  margin-top: 3%;
  padding-left: 1%;
}

h5 {
  font-size: 1.3em;
  font-style: normal;
  margin-top: 3%;
  margin-left: -1%;
  padding-left: 0;
}

h6, dt {
  margin-top: 3%;
  margin-left: 0;
  padding-left: 1%;
  font-size: 1.15em;
  font-style: normal;
}


h1 a, h2 a, h3 a {
  text-decoration: none;
}

div.center {
  text-align: center;
}

div.center table {
  margin-left: auto;
  margin-right: auto;
  text-align: left;
}

.hideme {
  display: none;
}

div.form {
  background: #f0f0f0;
  color: black;
  padding: 10px;
  width: 97%;
  margin: 1% 0% 0% -2%;
  /*/*/
  border: 1px solid black;
  /* */
}

p.center {
  color: black;
  background: #eeeeee;
  text-align: center;
}

p.indent {
  text-indent: 2%;
}

p.outdent {
  padding-left: 2%;
  text-indent: -2%;
}

p.msg2usr {
  color: #060;
  background-color: white;
  font-weight: bold;
  border-top: 1px solid #090;
  border-bottom: 1px solid #090;
  padding-left: 1%;
  padding-top: 0.5%;
  padding-bottom: 0.5%;
}
p.msg2usr:before {
  content: url(../layout/arrow-left-xsmall.png) ' ';
}

p.bugreport-link {
  float: right;
  color: #e0e0e0;
  background-color: transparent;
  font-variant: small-caps;
  font-size: 0.9em;
}
p.bugreport-link:before {
  content: '[';
}
p.bugreport-link:after {
  content: ']';
}
p.bugreport-link a {
  /*/*/
  border: 2px solid #e0e0e0;
  /* */
  padding-left: 2%;
  padding-right: 2%;
}

/*pre {
  color: #002255;
  background-color: transparent;
}*/

pre, code {
  font-weight: bold;
  color: #014;
  background-color: transparent;
  white-space: pre;
  font-size: 14px; /* same as normal font */
  line-height: 16px;
}

.code {
  font-family: "courier new", courier, monospace;
  font-size: 14px;
}

pre.code {
  background: #f4f4f4;
  color: #002255;
  border-top: 1px solid #c0c0c0;
  border-bottom: 1px solid #c0c0c0;
  padding: 9px;
  font-size: 16px;
  line-height: 18px;
  /* font-size: large; */
}

th {
  background: #006699;
  color: white;
  border: 1px solid black;
}
th a:link, th a:visited {
  color: white;
  text-decoration:none;
  border-bottom: 1px dashed white;
}
th.normal {
  color: black;
  background-color: white;
}
th.normal:hover {
  border: 1px solid white;
}

textarea.nowrap {
  font-size: 20px;
}

table.noborder th,table.noborder td {
	border: 0px;
	padding: 0;
}

table.outer{
  width:90%;
  border-collapse:collapse;
  border:0px;
  line-height:1;
}
table.outer >tbody> tr > td { border: 0px;} 

img {
  border-width: 0;
}

img.blue {
  color: #006699;
  background: #004477;
  vertical-align: middle;
}


a:link,a:visited {
  color: #0000AA;
  text-decoration: none;
  border-bottom: 1px dotted #00A; 
  background-color: transparent; 
  font-weight: bold;
}
a:hover	{
  color: #3300CC;
  text-decoration: none;
  background-color: #FFFFAA;
  font-weight: bold;
}
a.ext:after {
  content: ' ' url(img/link-ext.png);
}

/*
a:link {
  color: #036;
  background: transparent;
}*/
/*
a:visited {
  color: #707;
  background: transparent;
}
a:active {
  color: red;
  background: transparent;
}

a:hover {
  color: black;
  background: yellow;
  text-decoration: none;
}*/ 

a img {
  color: white;
  background-color: transparent;
  border: 0 none;
}

a:hover img {
  background: white;
  color: #FEFEFE;
}

a:hover img.blue {
  background: #010101;
  color: #006699;
}

acronym, abbr {
  border-bottom: 1px dashed #c0c0c0;
  cursor: help;
}

span[title] {
  border-bottom: 1px dashed #c0c0c0;
  cursor: help;
}

.bracket, .blindout {
  color: #b0b0b0;
  background-color: transparent;
}

/* match text and password fields */
input[type=text], input[type=password] {
  font-family: "courier new", courier, monospace;
}

input[type=text], input[type=password],
textarea.input, select {
  color: black;
  background-color: #f0f0f0;
}

/* match submit and custom buttons */
input[type=submit], input[type=button] {
  color: white;
  background-color: #080;
  font-weight: bold;
}

/* match reset buttons */
input[type=reset] {
  color: white;
  background-color: #cc0000;
  margin-left: 10%;
}

/* match disabled elements */
input[disabled], input[disabled]:hover {
  color: #a0a0a0;
  background-color: #e0e0e0;
}

textarea:focus, input:focus, select:focus {
  color: black;
  background-color: #ffd;
}

textarea.input {
  padding: 2px;
}

textarea.output {
  color: black;
  background-color: #eec;
  padding: 2px;
  /*/*/
  border: 2px solid #006699;
  /* */
}

.accesskey {
  font-weight: bold;
  text-decoration: underline;
}

.middle {
  vertical-align: middle;
}

div.decor-top {
  margin-top: 0%;
  margin-left: -6%;
  margin-right: -3%;
  border-right: 1px solid #303030;
  border-bottom: 1px solid #303030;
  border-left: 1px solid #303030;
  border-top: none;
}

.navbox {
  color: black;
  background-color: #eeeeee;
  font-size: 1em;
  font-weight: normal;
  text-align: left;
  padding-left: 2%;
  border: 1px solid black;
}

div.decor-top .navbox {
  margin-left: 3%;
  margin-right: 3%;
  /*/*/
  position: relative;
  /* */
  top: 0.8em;
}

#nav-submenu {
  position: relative;
  float: right;
  right: 0;
  top: 0;
}

div.decor-bot {
  margin: 10% -3% 0% 15%;
  border: 1px solid #303030;
  clear: both;
}

address#footer img {
  float: right;
  position: relative;
}

address#footer {
  color: #006699;
  background-color: #eee;
  font-size: 0.85em;
  clear: right;
  padding: 0.5%;
  border: 1px solid black;
}

div.decor-bot address#footer {
  margin-left: 3%;
  margin-right: 3%;
  position: relative;
  bottom: 1.5em;
}

.box,
.srcbox {
  background: #f3f3f3;
  color: black;
  border: 1px solid black;
  padding-left: 10px;
}

.linksbox {
  background: #eeeeee;
  color: black;
  font-size: 1em;
  font-weight: normal;
  text-align: left;
  padding-left: 10px;
  border: 1px solid black;
}

.invalid {
  color: red;
  background-color: transparent;
  font-weight: bold;
}
.valid {
  color: #090;
  background-color: transparent;
  font-weight: bold;
}

.vip {
  color: red;
  background: transparent;
}
.vip2 {
  color: #090;
  background: transparent;
}

.vip3 {
  color: #009;
  background: transparent;
}

/*  QUESTION, ANSWER, NOTE AND KEY FORMATTING */
div.question, p.question {
  border: 1px solid #000099;
  margin-top: 0.8em;
}

div.answer, div.example,
p.answer, p.example,
div.note, p.note {
  border-right: 1px solid #009900;
  border-bottom: 1px solid #009900;
    margin-top: 0.8em;
}

div.question .key, p.question .key,
div.answer .key, p.answer .key,
div.example .key, p.example .key,
div.note .key, p.note .key {
  font-weight: bold;
  font-variant: small-caps;
  color: white;
  padding: 3px;
}

div.question .key, p.question .key  {
  background-color: #000099;
}

div.answer .key, div.example .key,
p.answer .key, p.example .key{
  background-color: #009900;
}

div.note .key, p.note .key {
  background-color: #990000;
}
.key {
  background-color: #009900;
  font-weight: bold;
  font-variant: small-caps;
  color: white;
  padding: 3px;
}

.question {
  cursor: help;
}

/* OTHER FORMATTING */

.date {
  color: #004477;
  background: transparent;
  font-style: italic;
}

.number {
  color: #006600;
  background: transparent;
  font-weight: bold;
}

.antique {
  font-family: 'Book Antiqua', Georgia, sans-serif;
}

.comment {
  color: #333;
  background: transparent;
  font-size: 1em;
  margin-top: 0.8em;
  padding: 1%;
}

/*
.comment {
	color: #009900;
	font-family: Arial, Helvetica, sans-serif;
	font-size: small;
} */
p.comment:before {
  content: url(../layout/arrow-left-xsmall.png) ' ';
}

div.comment, p.comment {
  border-top: 1px solid #c0c0c0;
  border-bottom: 1px solid #c0c0c0;
}

.jc, .javacomment {
   color: #007F00;
 }
 
.instruction {
  color: #333;
  background-color: transparent;
  font-variant: small-caps;
}
.instruction:before {
  content: url(../layout/arrow-left-xsmall.png) ' [';
}
.instruction:after {
  content: ']';
}

/* TABLE FORMATTING */

.row1 {
  color: black;
  background-color: white;
}

.row2 {
  color: black;
  background-color: #eeeef3;
}

tr.row1:hover, tr.row2:hover {
  color: black;
  background-color: #ff9;
}

td.valid {
  background-color: #ffc;
  color: #060;
  border: thin solid #037507;
  font-weight: bold;
  text-align: center;
}
td.invalid {
  background-color: white;
  color: #db2b00;
  border: thin solid #db2b00;
  font-weight: bold;
  text-align: center;
}
td.depends {
  background-color: #fcfcfc;
  color: #404040;
  border: thin solid #404040;
  font-weight: bold;
  text-align: center;
}

td.valid a, td.invalid a, td.depends a {
  background-color: transparent;
  color: black;
}

/* ul { list-style: disc; } */
ul ul li{ list-style-type:circle; }

ol > li {
  list-style: decimal outside;
}
ul.mainpage {
  margin-right: 10%;
  padding: 1em;
  border-right: 1px solid silver;
  border-bottom: 1px solid silver;
  list-style-image: url(img/bullet_glider.png);
}

math {
  font-size: 1.1em;
}

ol.submenu, ul.submenu {
	color: #006699;
  background-color: #f8f8f8;
	margin: 0 0 0.5em 0;
	padding: 0.5em .5em .5em 1.5em;
	border: thin solid silver;
	-moz-border-radius-topright: .4em;
}
ul.submenu ul {
	padding-left: 1.5em;
}

/* all HR are in H1, H2, H3 ... */
hr {
  visibility:hidden;
} 
.tri:before {
  content: "\25B6  ";
}

.hilite {
    font-weight: bold;    
}
.highlight {
	background-color: yellow;
}

ol.listUR  li {list-style-type:upper-roman;}
ol.listlr  li {list-style-type:lower-roman;}
ol.listla  li {list-style:lower-alpha;}

ul.listc li{list-style-type:circle;}
ul.listd li{list-style-type:disc;}
ul.lists li{list-style-type:square;}
ul.listn li{list-style-type:none;}

.highlight1 {background-color: #FFFF99;} /* pale yellow */
.highlight2 {background-color: #99FFFF;} /* pale cyan */
.highlight3 {background-color: #FF99FF;} /* light purplepink */
.highlight4 {background-color: #FFCC99;} /* orange */
.highlight5 {background-color: #99FF99;} /* light green */
.highlight6 {background-color: #FF99CC;} /* light pink */

/*  this won't wrap whitespace to fit long lines onto a narrow screen. .: increase min-width of fluid layout */
.dostext {
	border: 2px solid #0000ee;
	background:#000;
	padding: 7px;
	color:white;
	font-family:monospace;
	font-size:108%;
	width: 600px;
	display: block;
	white-space: pre; /*"pre-wrap" this wraps long lines in the textbox, but doesn't handle fluid (shrinking windows */
	white-space: pre-wrap;
	white-space: -moz-pre-wrap;
	white-space: -o-pre-wrap;
}
.dostext2 {
	border: 2px solid #AAAAEE;
	background:#EEE;
	padding: 3px;
	color:#000000;
	font-family:monospace;
	font-size:108%;
	display:compact;
}

.bigger {
	font-size: 120%;
}
.smaller {
	font-size: 80%;
}

/* two columns */
.leftcol {
  width: 50%;
  float: left;
}
.rightcol {
  margin-left: 50%;
}
.twocol:after {
    content: "";
    display: table;
    clear: both;
}
.padding {
   padding:0.5em;
}