body {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 75%; /* 75% = 1em <=> 12px */
  margin: 0em;
}

a, div, img, input, p, select, span, table, td, tr {
  font-size: 1.0em;
}

img, table {
  border: 0;
}

input, select {
  vertical-align: middle;
}

table {
  width: 100%;
}

.floatRight {
  float: right;
}

.alignRight{
  text-align: right;
}

.paragraphPadding {
  line-height: 1.25em;
  padding-bottom: 1.4em;
  padding-right: 2.0em;
}

.paragraphHeading {
  font-weight: bold;
  padding-bottom: 0.4em;
}

.block {
  width: 45.0em;
}

.highlight0 {
  background-color: #ffff99;
  padding-left: 2px;
  padding-right: 2px;
}

.hlDisabled0 {
  padding-left: 2px;
  padding-right: 2px;
}

.fontSmaller {
  font-size: 0.75em;
}

.markedItemsHasItems {
  font-weight: bold;
}

.markedItemsNoItems {}

.noResults img {
  clear: left;
}

#jsMath_Warning {
  display: none
} 

#jsMath_button {
  display: none;
}

.latex .typeset .error {
  display: none;
}

a .latex {
  text-decoration: none;
}

.latex .cs {
  display: none;
}

.tabSpacer {
  width: 100%;
}

/* Move this to other stylesheet */
.exportButton {
  width: 8em;
}