/* ols.css */

@import url(../standard.css);

SPAN.VERSION{
  font-size: 0.7em;
  font-weight: 500;
}

DIV.SCREEN{
  float: right;
  margin: 5pt;
  padding: 0em;
  border: 1.5pt solid;
  text-align: right;
}

DL{
  margin: 1em;
}
DT{
  font-weight: bolder;
}
DD{
  margin: 0em 1em 0.4em 2em;
}

P.COMMENT{
  clear: right;
  background-color: #ffffff;
  border-style: double none;
  border-width: 2pt;
  margin: 1em 3em;
}

DIV.HISTORY{
  margin: 1em 5em;
  padding: 1em;
}
UL{
  padding: 0em;
  margin: 0.3em 0em 1em 3em;
}

DIV.DOWNLOAD{
  text-align: center;
  background-color: #88ffdd;
  margin: 0em 25%;
  padding: 0.5em;
}