body.left {
  background-color: #cccccc
}

body {
  background-color: #dddddd
}

input.string {
  width: 100%;
}

table.form {
  width: 100%;
  border: none;
}

table.form tr td {
  border-top: 1px solid gray;
}

table.form tr td.top {
  border: none;
}

dt {
  font-weight: bold;
}

i {
  font-weight: normal;
}

sup {
  font-weight: normal;
  font-size: smaller;
}

ol {
  margin: 0;
  padding: 0;
}

div.text ol {
  margin-left: 0;
  text-align: justify;
}

div.text ul {
  margin-left: 0;
  text-align: justify;
}

dl {
  margin-top: 0;
  margin-bottom: 0;
}

div.text {
  /*text-indent: 1em;*/
  margin-top: 0.5em;
  margin-left: 2em;
  margin-right: 2em;
}

p.text {
  text-indent: 1em;
  margin-top: 0.5em;
  margin-left: 2em;
  margin-right: 2em;
  text-align: justify;
}

span.found {
  background: yellow;
}

span.oe {
  font-weight: bolder;
}

span.rad {
 text-decoration: underline;
}

em {
 font-style: normal;
 /*text-decoration: underline;*/
}

em em {
 font-style: normal;
 font-size: 90%;
 /*display: none;*/
}

em em em {
 font-style: normal;
 font-size: larger;
 /*display: none;*/
}

i em {
 font-style: italic;
 /*text-decoration: underline;*/
}

i em em {
 font-style: normal;
 font-size: smaller;
 /*display: none;*/
}

i em em em {
 font-style: normal;
 font-size: larger;
 /*display: none;*/
}

div.sup {
  margin-left: 5px;
  margin-right: 5px;
  border: 2px;
  font-size: smaller;
  font-weight: bold;
}

div.sub {
  margin-left: 5px;
  margin-right: 5px;
  border: 2px inset;
  font-size: smaller;
  font-weight: bold;
}

div.revo {
  margin: 0px;
  padding: 0px;
  font-size: smaller;
  font-weight: bold;
  text-align: center;
}

div.revo a:link {
  text-decoration: none;
  color:  #006000;
}
div.revo a:visited {
  text-decoration: none;
  color:  #006000;
}
div.revo a:active {
  text-decoration: none;
  color:  #006000;
}
div.revo a:hover {
  text-decoration: underline;
  color: #008000;
}


form.search {
  margin-top: 0px;
  margin-bottom: 0px;
  margin-left: 5px;
  margin-right: 5px;
}

dt a:link {
  text-decoration: none;
  color:  #006000;
}
dt a:visited {
  text-decoration: none;
  color:  #006000;
}
dt a:active {
  text-decoration: none;
  color:  #006000;
}
dt a:hover {
  text-decoration: underline;
  color: #008000;
}

a:link {
  text-decoration: none;
  color: blue;
}
a:visited {
  text-decoration: none;
  color: purple;
}
a:active {
  color: maroon;
}
a:hover {
  text-decoration: underline;
  color: red;
}