p.subheading1 {
color:#d00040;
}

table#coq10formulas {
margin:16px auto 0px auto;
}

table#coq10formulas {
font:bold 10pt Verdana,Tahoma,Arial,Sans-serif;
color:#000000;
}

table#coq10formulas td.coq10pic {
vertical-align:bottom;
}

table#coq10formulas em {
color:#000000;
font:bold 16pt Verdana,Tahoma,Arial,Sans-serif;
}

table#coq10formulas b {
color:#ff0000;
}

table#coq10formulas u {
font:bold 13pt Verdana,Tahoma,Arial,Sans-serif;
color:#ff0000;
}

table#coq10formulas td {
text-align:center;
}

table.comparison {
font:bold 10pt Verdana,Tahoma,Arial,Sans-serif;
border:solid 1px #000000;
margin:16px auto;
}

table.comparison th {
background-color:#f0f080;
border:solid 1px #000000;
text-align:center;
padding:2px 5px;
}

table.comparison th.header {
border:solid 1px #000000;
background-color:#40a040;
color:#ffff00;
font:bold 10pt Verdana,Tahoma,Arial,Sans-serif;
padding:5px;
}

table.comparison th.header em {
font:bold 13pt Verdana,Tahoma,Arial,Sans-serif;
color:#ffffff;
}

table.comparison th.footer {
border:none;
background-color:#ffffff;
font-weight:normal;
padding:5px;
}

table.comparison th.coq10 {
border:solid 1px #000000;
background-color:#ffff00;
padding:5px;
}

table.comparison th.coq10complex {
border:solid 1px #000000;
background-color:#00ff00;
padding:5px;
}

table.comparison td {
background-color:#f0f0a0;
text-align:center;
border-spacing:0px;
padding:2px 5px;
}

table.comparison td i {
font-weight:normal;
}

table.comparison td.coq10 {
background-color:#ffff80;
border:solid 1px #000000;
}

table.comparison td.coq10complex {
background-color:#80ff80;
border:solid 1px #000000;
}

