img.teximage {
  vertical-align: middle;
}

/* modified by Robert Samal on April 26, 2007 */
div.problem div.envtheorem {
  border: none;
/*  border-bottom: thin solid;*/
  background-color: #d6ebfb;
  padding: 0em;
  margin: 1em 0 1em 0;
  width: 100%;
}

/* modified by Robert Samal on May 8, 2007 */
div.envtheorem {
  margin: 1em 0 1em 0;
  border: 1px solid black;
  background-color: #e5eef4;
  padding: 1em;
  width: 57%;
}

div.displaymath {
  padding-left: 4em;
  margin: 0.5em 0;
}

table.displaymath {
  border: none;
  border-collapse: collapse;
  border-spacing: 0px;
  width: 100%;
  margin: 0.5em 0;
  padding: 0em;
}

table.displaymath td.dspleft {
  padding: 0em;
  margin: 0em;
  padding-left: 4em;
  text-align: left;
}

table.displaymath td.dspright {
  padding: 0em;
  margin: 0em;
  font-weight: bold;
  text-align: right;
}


/*
  divs on the filter settings page
 */

div.filter-settings-error {
  color: red;
  margin-bottom: 0.5em;
}

div.filter-settings-correct {
  color: green;
  margin-bottom: 0.5em;
}