a:link, a:visited {text-decoration: none;}  /*; color:blue;font-weight:bold;*/
a:hover {text-decoration: underline;}
a:active {text-decoration: none;}

.configure_section_div {
  display: none;
}

.input_text {
  width: 100%;
  font-family: arial, sans-serif;
  color: #000000; /*#2966B8;*/
  font-size: 0.9em;
}

.output_text {
  width: 100%;
  font-family: arial, sans-serif;
  color: #2966B8;
  font-size: 0.9em;
}

.convert_button {
  font-family: arial, sans-serif;
  //background-color: #f3f3f3;
  color: #555555; /*#2966B8;*/
  font-size: 1em;
  padding-top: .2em;
  padding-bottom: .2em;
  padding-left: 4em;
  padding-right: 4em;
  width: 30%;
}

.clear_button {
  font-family: arial, sans-serif;
  color: #555555;  /*#2966B8;*/
  font-size: 1em;
  margin-left: 1em;
  padding-top: .2em;
  padding-bottom: .2em;
  padding-left: 2em;
  padding-right: 2em;
  /*width: 20%*/
}

.countdown_timer {
 display: inline;
 font-family: arial, sans-serif;
 color: #555555;
 font-size: 0.8em;
 padding-left: 3em;
 margin-top: 0.5em;
 margin-bottom: 0.5em;

}

.show_hide_configure_link {
 display: inline;
 font-family: arial, sans-serif;
 color: #555555;
 font-size: 0.8em;
 margin-top: 0.5em;
 margin-bottom: 0.5em;
 float: right;
 padding-right: 2em;
}

.version_label {
  font-family: arial, sans-serif;
  font-weight: bold;
  color: #808080;
  font-size: 0.9em;
  padding-right: 0.6em;

}

.radio_button_group_configure_table {
 font-family: arial, sans-serif;
 color: #555555;
 font-size: 0.8em;
 margin-top: 0.5em;
 margin-bottom: 0.5em;
}

.fieldset_titled_border {
 margin-top: 0.5em;
 margin-bottom: 0.7em;
}

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

 .legend_in_fieldset {
   font-family: arial, sans-serif;
   color: #555555;
   font-size: 0.8em;
 }


.mathtoweb_converter_form_style {
  padding: 1em;
  background-color: #f5f5f5;
  /*border-width: 2px;
  border-style: groove;
  border-color: #E8E8E8;*/
}

.results_text_area {
  width: 90%;
  background-color: #eff5b5; //#D0DCC5;
  color: #888888;
  padding: 0.8em;
  font-family: arial, sans-serif;
  font-size: 0.9em;
}

.input_area_title {
  font-family: arial, sans-serif;
  font-size: 0.9em;
  color: #888888;  /*#000000;*/
  font-weight: bold;
  padding-left: 0.4em;
}

.output_area_title {
  font-family: arial, sans-serif;
  font-size: 0.9em;
  color: #888888;  /*#000000;*/
  font-weight: bold;
  padding-left: 0.4em;
}

.padded_left {
 padding-left: 1.0em;
}

.should_you_encounter_problems_link {
  font-family: arial, sans-serif;
  font-size: 0.8em;
  color: #888888;
  margin-bottom: 2em;
  margin-left: 10em;
}


div.copyright {
font-size: 0.9em;
/*position: absolute;
top: 95%;*/
/*color: red;*/
margin-top: 8em;
margin-left: 1em;
text-align: center;
}


tr.title {
background-color: #3152a5;  /* a blue */
vertical-align: center;
text-align: left;
height:4em;  /* 4 or 5 em */
}

td.title_info {
text-align: left;
color: white; /*#808080;*/
font-size: 1.2em;
font-style: italic;
}

td.title_contacts {
text-align: right;
padding-right: 1.5em;
}

/*title_left and title_right are depreciated*/
td#title_left {
background-color: #3152a5;  /* a blue */
vertical-align: center;
text-align: left;
height:4em;  /* 4 or 5 em */
}

td#title_right {
background-color: #3152a5;  /* a blue */
vertical-align: center;
text-align: right;
}

/* span_title_font is depreciated in favour of a_title_font below */
span.title_font {
font-family: Times New Roman, Times, serif;
font-size: 22pt;
font-style:normal;
font-weight: normal;
color: white;
margin-left: 1em;
}

a.title_font {
font-family: Times New Roman, Times, serif;
font-size: 22pt;
font-style:normal;
font-weight: normal;
color: white;
margin-left: 1em;
}

span.com_font {
font-family: Times New Roman, Times, serif;
//font-family: Helvetica, Arial, sans-serif;  
font-size: 11pt;
font-style: normal;
font-weight: normal;
color: white;
margin-left: 0.6em;
}

span.beta_font {
font-family: Times New Roman, Times, serif;
//font-family: Helvetica, Arial, sans-serif;  
font-size: 1.5em;
font-style: normal;
font-weight: normal;
color: white;
margin-left: 2em;
}

.contacts_font {
font-size: 10pt;
color: white; 
}

tr.menu_background_color {
background-color: #e0e0e0;
} 

td.menu {
text-align: center;
}

.menu_font {
color: blue; 
text-align: center;
}

td.menu_verticals {
background-color: #ffffff;  /* grey */
width: 0.1em;
}

/* ---------------- */
table.paper {
width: 80%;
}

td.paper_number {
font-size: 94%;
font-weight: bold;
vertical-align: top;
}

td.reference_number {
font-size: 94%;
font-weight: normal;
vertical-align: top;
}

span.paper_info_title {
font-size: 90%;
font-weight: bolder;
}

span.paper_info {
font-size: 90%;
}

span.paper_title {
font-size: 95%;
}
/* ---------------- */

/* ---------------- */
/* Drop-down menu   */

/*body {
margin: 0px;
padding: 0px;
}*/

/*#page {
margin: 10px;
}*/

#menuBar {
color: #999999;
font-size: 13px;  /*font-size: 12px;*/
font-family: arial, Helvetica, sans-serif;
font-weight: normal;  /*font-weight: bold;*/
text-align: left;
text-transform: capitalize;
display: block;
margin-top: 3px;  /* Puts a 3 px line above the menu bar. */
margin-bottom: 5px;
position: relative;
top: 0px;
left: 0px;
right: 0px;
width: 100%;
overflow: hidden;
vertical-align: middle;
/*border: solid 1px #000000;*/
background-color: #e0e0e0;  /*background-color: #cccccc;*/
}

.menuHeader {
color: #000000;
text-decoration: none;
white-space: nowrap;
cursor: pointer;
padding: 45px;    /*padding: 5px;*/
margin: 0px;
/*padding-right: 15px;*/
display: inline;
position: relative;
border-right: 4px solid #ffffff;  /*border-right: 1px solid #000000;*/
}

a.menuLink {
display: block;
padding: 8px 8px;  /* top-bottom ; left-right */ /* This increases space around menu items */
border-top: 1px solid #cccccc
}

a.menuLink:link {
color: #000000;
text-decoration: none
}

a.menuLink:visited {
color: #000000;
text-decoration: none
}

a.menuLink:hover {
color: #ffffff;                	/*color: #ffffff;*/
background-color: #3152a5;	/*background-color: #000000;*/
text-decoration: none
}

a.menuLink:active {
color: #000000;              	/*#ffffff;*/
text-decoration: none;
background-color: #3152a5;	/*#cc0000;*/
}

.menuDrop {
color: #999999;              /*#999999;*/
font-size: 10px;
font-family: arial, Helvetica, sans-serif;
background-color: #ffffff;   /*#ffffff;*/
background-repeat: repeat;
visibility: hidden;
margin: 0;
padding: 0;
position: absolute;
z-index: 1000;
top: 60px;
left: 0;
width: 175px;
height: auto;
border-style: solid;
border-width: 0 1px 1px;
border-color: #003365
}

/* ---------------- */

p.header_1 {
font-size: 140%;
font-weight: bold;
font-style: normal;
}

p.header_2 {
font-size: 120%;
font-weight: bold;
font-style: normal;
}

div.supported_browsers_plugins{
background-color: #ffffe0;
padding-top: 12px;
padding-bottom: 12px;
padding-left: 1px;
padding-right: 8px;
max-width: 95%;
font-size: 0.9em;
}

p.version_info{
font-size: 80%;
margin-top: 1%; 
margin-bottom: 3%;
background-color: #e0e0e0;
padding: 0.4em;
max-width: 90%
}

div.example_code{
border-width: 1px;
border-style: dotted;
border-color: gray;
}

span.title_section_font {
font-family: Times New Roman, Times, serif;
font-size: 20pt;
font-style:normal;
font-weight: normal;
color: white;
margin-left: 2em;
}

td.example_mathml{
padding-right: 5em;
}

td.example_code{
font-size: 90%;
}

.de-emph{
color: gray;
}

span.latex{
background-color: #f7ffce;
padding-top: 0.4%;  /* 4 px */
padding-bottom: 0.4%;
padding-right: 0.6%; /* 6 px */
padding-left: 0.6%;
}

td.latex{
background-color: #f7ffce;
padding-top: 0.4%;  /* 4 px */
padding-bottom: 0.4%;
padding-right: 0.6%; /* 6 px */
padding-left: 0.6%;
}

pre.latex{
background-color: #f7ffce;
padding-top: 8px;
padding-bottom: 8px;
padding-left: 8px;
padding-right: 8px;
}

.latex{
background-color: #f7ffce;
border:1px solid #e0e0e0;
}

.valigntop{
vertical-align: top;
}

table.chtabletop{
font-size: 90%;
vertical-align: top;
}

td.chtable{
padding-right: 2em;
font-size: 90%;
vertical-align: top;
}

td.spacer{
width: 1em;
}

td.double-spacer{
width: 2em;
}

td.triple-spacer{
width: 3em;
}

td.vspacer{
height: 1em;
}

.spacer{
padding-left: 1em;
}
.double-spacer{
padding-left: 2em;
}
.triple-spacer{
padding-left: 3em;
}

td.chtablewide{
padding-right: 4em;
font-size: 90%;
vertical-align: top;
}

td.padleft20{
padding-left: 20%;
}


.align-top{
vertical-align: top;
}


/*table.tbforceheight{  // this did not work for some reason.
height: 160 px;
}*/

.big{
font-size: 120%;
}

.Big{
font-size: 140%;
}

.bigg{
font-size: 150%;
}


.small{
font-size: 90%;
}

.Small{
font-size: 80%;
}


a.small{
font-size: 70%;
}

div.greekbold{
margin-top: 0.7%;
}

td.paddedtd{
padding-left: 5%;
}

.mathml-eg-top-par{
font-size: 90%;
}




.border-bottom{
border-bottom-style: solid;
border-bottom-color: black;
border-bottom-width: 1px;
}

div.hr{
border-top:1px solid #e0e0e0;
width: 60%;
}

p.note{
font-size: 90%;
width: 70%;
border: 1px solid #e0e0e0;
padding: 0.4%;
}

.partial_width{
width: 70%;
}

.mtw_specific{
color: #63bdb5;  /*#94d6ce This is lighter than 63bdb5*/
}

p.examples{
font-size: 80%;
margin-top: 3%;
}

li.toc_section{
list-style-type: none;
padding-top: 0.5%;
padding-bottom: 0.5%;
}

li.toc_subsection{
list-style-type: none;
padding-top: 0.5%;
padding-bottom: 0.5%;
}

li.toc_subsubsection{
list-style-type: none;
padding-top: 0.5%;
padding-bottom: 0.5%;
}

table.toc{
background-color: #f7ffce;  /* same yellow as latex class */
font-size: 90%;
width: 60%;
border: 1px solid #e0e0e0;
padding: 0.6%;

}

#toctitle{
text-align: center;
}

.toc_section_number{
}

.toc_subsection_number{
}

.toc_text{
padding-left: 1em;
}

.toc_examples{
font-size: 80%;
}

h3.section{
padding-top: 2%;
}

h4.subsection{
padding-top: 2%;
}

span.code{
font-family: monospace;
padding-left: 0.5%;
padding-right: 0.5%;
}

.code{
font-family: monospace;
}

li.top-padded{
padding-top: 1%;
}

li.bottom-padded{
padding-bottom: 1%;
}

.align-center{
text-align: center;
}

.border-gray{
border: 1px solid #e0e0e0;
}

.col1{
width: 20%;
font-weight: bold;
}
.col1tp{
width: 20%;
font-weight: bold;
padding-top: 0.8em;
}
.col2{
width: 20%;
}
.col3{
width: 30%;
}
.col4{
width: 30%;
}
.col4tp{
padding-top: 1em;
width: 30%;
}

.top-math-environment{
border-left: 1px solid #e0e0e0;
border-right: 1px solid #e0e0e0;
border-top: 1px solid #e0e0e0;
border-bottom: 1px solid #e0e0e0;
padding: 0.5%;
}
.math-environment{
border-left: 1px solid #e0e0e0;
border-right: 1px solid #e0e0e0;
border-bottom: 1px solid #e0e0e0;
padding: 0.5%;
}

ul.small-indent-bullet{
padding-left: 1em;
}

/*Syntax: list-style-type: <value>
Possible Values: disc | circle | square | decimal | lower-roman | upper-roman | lower-alpha | upper-alpha | none*/

ul.env-properties{
padding-left: 1em;
list-style-type: decimal;
}

ul.xhtml-properties{
padding-left: 1em;
list-style-type: decimal;
}

ul.mtw-use{
padding-left: 1em;
list-style-type: decimal;
}

p.template-eg-converted{
border: 1px solid #e0e0e0;
}

pre.command-line{
background-color: #000000;
color: #ffffff;
width: 35%;
padding-top: 8px;
padding-bottom: 8px;
padding-left: 8px;
padding-right: 8px;
}
pre.faq-command-line{
background-color: #000000;
color: #ffffff;
width: 100%;
padding-top: 8px;
padding-bottom: 8px;
padding-left: 8px;
padding-right: 8px;
}

p.template-form{
margin-top: 2em;
}

div.template-title{
font-weight: bold;
font-size: 100%;
margin-bottom: 2em;
}

p.few-things-to-know{
margin-top: 2em;
}

span.title-summary-main{
color: #000000;
font-size: 24pt;
font-style: italic;
padding-left: 1em;
padding-right: 2em;
}
span.title-summary-list{
color: #808080;
font-size: 16pt;
font-style: italic;
}
span.divider{
padding-left: 1em;
padding-right: 1em;
}

.norm{
margin-left: 1em;
margin-right: 1em;

}

table.toolbar{

}

td.toolbar-unselected{
background-color: #e0e0e0;
text-align: center;
padding-left: 1em;
padding-right: 1em;
width: 10%;  /* We assume 10 menus per row */
}

td.toolbar-selected{
background-color: #c8c8c8;
text-align: center;
padding-left: 1em;
padding-right: 1em;
width: 10%;  /* We assume 10 menus per row */
}

td.toolbar-invisible{
background-color: #ffffff;
text-align: center;
padding-left: 1em;
padding-right: 1em;
width: 10%;  /* We assume 10 menus per row */
}

td.toolbar-separator{
background-color: #ffffff;
width: 0px;
}

a.atoolbar{
color: blue;
}

.small-menu{
text-align: left;
}
.small-menu-selected{
color: gray;
}
a.small-menu-selected{
color: gray;
text-decoration: none;
}
a.small-menu-unselected{
color: blue;
text-decoration: underline;
}
.small-menu-divider{
color: blue;
}


p.faqs-question{
color: blue;
}
p.faqs-answer{
color: black;
}

p.faqs-border{
width: 100%;
border-bottom: 1px solid #000000;
}

p.bug-description{
color: black;
}
p.bug-solution{
color: black;
}

p.bug-border{
width: 100%;
border-bottom: 1px solid #000000;
}

span.bug-number{
font-weight: bold;
}


ul.ul-whats-new{

}
li.li-whats-new{
margin-bottom: 1.5em;
}
li.li-spaced{
margin-bottom: 1.5em;
}

ul.ul-how-to-run{
padding-left: 1em;
}

span.dlspacer{
padding-left: 1em;
}

.dltext{
font-size: 10pt;
}

p.p-outer-users-guide{
margin-left: 1em;
}

ul.ul-pro-characteristics{
padding-left: 1em;
margin-left: 1em;
margin-right: 1em;
}
li.li-pro-characteristics{
padding-bottom: 0.6em;
}

span.install-java{
font-size: 10pt;
color: red;
}
span.run-jar{
color: green;
}
span.cl-help{
color: black;
}


p.purchasechoice{
margin-top: 0.7em;
margin-left: 1em;
margin-right: 1em;
}
p.purchase-button{
margin-left: 2em;
}
td.where_reg_no{
font-size: 80%;
text-align: center;
}
table.reg_no{
margin-top: 0.7em;
margin-left: 2em;
}
a.self-close{
text-decoration: underline;
}

p.data-entry-error{
color: red;
margin-left: 1em;
margin-right: 1em;
}

td.int-table-code{
padding-left: 1em;
}
td.int-table-ml{
height: 1.8em;
}
td.int-table-col{
padding-left: 2em;
vertical-align: top;
}

p.int-eg{

}

td.symbol-table-ml{
height: 1.8em;
}
td.symbol-table-code{
padding-left: 1em;
}

td.binary-op-table-ml{
/*height: 1.8em;*/
}
td.binary-op-table-code{
/*padding-left: 1em;*/
}

ul.run-mathtoweb{
list-style-type: decimal;
padding-left: 1em;
margin-left: 1em;
margin-right: 1em;
}
li.run-mathtoweb-choice{
padding-bottom: 0.6em;
}
pre.run-mathtoweb-command-line{
background-color: #000000;
color: #ffffff;
width: 60%;
padding-top: 8px;
padding-bottom: 8px;
padding-left: 8px;
padding-right: 8px;
}

div.pro-only{
background-color: #FFFFFF;  /*#F5FFFA*/
padding-right: 1em;
padding-top: 0em;
padding-bottom: 1em;
}