/* --------------------------------- *
 * Some Filters for IEs brokeness    *
 * --------------------------------- */
 
* html div#body {
  width:         40em;
}
* html div#content {
  width:         34em;
}

* html div.tagline {
  margin-top:        0;
  margin-bottom:     3px;
}