.article_heading {
  background: url(/gravity/graphics/glassware32x32.png) no-repeat;
  padding-left:38px;
  padding-top:6px;
  padding-bottom:6px;
}

.article_section_color_bar {
  margin-left:38px;
}

.greenspan {
  color:#008000;
}

.redspan {
  color:red;
}

.bluespan {
  color:blue;
}

.mono, mono2 {
  generic-family:monospace;
  white-space:pre;
  
}

.mono {
  
}

.mono2 {
  line-height:140%;
}

.ralign {
  text-align:right;
}