body {
  margin-left: 5%;
  margin-right: 5%;
  background-color: #F8F8F8;
  color: #000000;
  text-align: justify;
  font-family: serif; /*Times, "Times New Roman", Georgia, "Bitstream Charter", serif;*/
  font-weight: normal;
  font-size: 12pt;
}
.cit { margin-left: 6%;
       margin-right: 6%;
       background-color: #F1E1FF;
}
a { color: #0000FF; text-decoration: none; }
a:hover { color: #0000FF; text-decoration: underline;
          background-color: #E8E8F8;
}
a[name], a[name]:hover {
  color: inherit;
  background-color: inherit;
  text-decoration: inherit;
}
pre, tt { font-family: Courier, "Nimbus Mono L", monospace; }
pre {
  background-color: #E1F1FF;
  padding: 3px 6px;
  border: 1px solid #C0C0EF;
}
pre.simple {
  background-color: white;
  border: 0px;
}
q {
  quotes: "\201C" "\201D" "`" "'";
}
dl dt {
  font-weight: bold;
  color: red;
}
dl dl dt {
  font-weight: bold;
  color: inherit;
}
blockquote { background-color: #F0F0E0; border: 1px solid black;
             padding: 7px 7px;}
blockquote p { padding-top: 0px; margin-top: 0px;}
cite { font-style: italic; color: #006600; }
cite:before { content: "\201C" }
cite:after { content: "\201D" }
q { quotes: "\201C" "\201D" "`" "'" }
h1 { text-align: left }
h2 { text-align: left }
h3 { text-align: left }
h4 { text-align: left }
h5 { text-align: left }
h6 { text-align: left }

table {
  width: 60%;
  border-collapse: collapse;
}
td {
  border: 1px solid black;
  padding: 3px 10px;
}
th {
  background-color: #BEF;
  text-align: center;
}
tr > th {
  border: 2px solid #000;
}