body, td, th, input {
  font-family: verdana, sans-serif, arial;
  font-size: 13px; 
  color:#000000;
  margin: 20px;
}

table { vertical-align: center; }

div a{ color: #cc0000; text-decoration: underline; }
div a:visited{ color: #880000; text-decoration: underline; }

h1{
  text-align: center; margin: 20px; margin-left: 0px; margin-right: 0px; padding: 5px 5px 5px 5px;
  font-size: 18px; font-weight: bold;
  color: #002276; background: #ddddff; border: 1px solid #002276;
}

h2{
  text-align: left; margin: 20px; margin-left: 0px; margin-right: 0px; padding: 2px 4px 2px 4px;
  font-size: 14px; font-weight: bold;
  color: #002276; background: #ddddff; border: 1px solid #002276;
}

h3{
  text-align: left; margin: 0px; margin-top: 5px; margin-bottom: 5px;
  font-size: 13px; font-weight: bold;
  color: #002276;
}

.small {
  font-size: 85%;
}

/* Content */
.trs{
  margin: 10px; margin-left: 20px; padding: 2px 4px 2px 4px;
  text-align: justify;
  color: #002276; background: #ffffdd; border: 1px dashed #002276;
}
.proof_text{
  text-align:justify; margin-left: 20px;
  color: #000000; background: #ffffff;
}
.indent{
  margin-left: 20px;
}
.trslight{
  margin: 10px; margin-left: 20px; padding: 2px 4px 2px 4px;
  text-align: justify;
  color: #002276; background: #ffffff; border: 1px dashed #002276;
}

.variable{ font-style: italic; color: #883333; }
.topsymbol{ color: #004411; }
.label { font-size: 70%; vertical-align: 0.8ex; }
.output { font-size: 70%; vertical-align: 0.8ex; color: #8888bb; }
/* .nonusable { filter:alpha(opacity=75);-moz-opacity:.75;opacity:.75; } */
.nonusable { font-style: italic; }

.matrix{ margin: 0px; border: 0px; border-style: none; padding: 0px; }
.matrix td{ line-height: 80%; margin: 0px; padding: 0px 2px 0px 2px; border-spacing: 0px; }

.paperTitle {
  text-decoration:none; color: #006600; font-weight: bold;
}
.author {
  text-decoration:none; color: #000000; 
}