body {
  margin-top: 2em;
  background: #ddd url('/abacus/bgstone1.gif');
  color: #000;
  font-family: arial, sans-serif;
  font-size: 100%
}

a:link {
  background: transparent;
  color: #006;
}

a:visited {
  background: transparent;
  color: #006;
}

a:active {
  background: transparent;
  color: #009;
}

a:hover {
  background: url('/abacus/bgstone1.gif');
  color: #900;
}

*html table {
  width: 93%;
}

#xtrm {
  text-align: right;
  position: relative;
  top: 200px;
}

p {
  margin-left: 2em;
  margin-right: 2em;
  text-indent: 1.5em;
  text-align: justify;
}

.trad {
  text-align:right;
  font-size: 8.0pt;
}

pre {
  font-size: 110%;
  color: Navy;
  margin-left: 5em;
}

li {
  font-size: 100%;
}

h1 {
  font-size: 190%;
  margin-left: 2em;
}

h1::before {
  content: url("/soroban/tinysoroban.gif") " ";
}

h2 {
  font-size: 100%;
  margin-left: 2em;
  margin-top: 2em;
}

h3 {
  font-size: 90%;
  margin-left: 2em;
  margin-top: 2em;
}

span.alert {
  background-color: yellow;
  color: red;
  font-weight: 800;
}

q {
  display: inline;
}

q:before {
  content: "'";
}

q:after {
  content: "'";
}

ol {
  margin-left: 2em;
}

ul {
  margin-left: 2em;
}

dl {
  margin-left: 2em;
}