
@import url(../site/plain.css);
@import url(../site/paper-pp.css);

body {
    line-height: 125%;
    font-family: georgia, "bitstream vera serif", "charter bt", serif;
    }
h2, h3, h4, h5, h6 {
    line-height: 125%;
    }
del, ins {
    text-decoration: none;
    background-color: #d3d3d3;
    font-family: verdana, tahoma, "bitstream vera sans", sans-serif;
    font-size: 9pt;
    }
ins.annota {
    background-color: white;
    }
a   {
    text-decoration: none;
    color: #dc143c;  /* crimson */
    }
a:link    { color: #dc143c; }
a:visited { color: purple; }
a:hover   { color: red; }
a:active  { color: red; }

.jp {
    font-weight: bold;
    margin-right: 1pt;
    }
.fn {
    font-size: 8pt;
    font-weight: bold;
    vertical-align: text-bottom;
    }
.symbol {
    font-weight: bold;
    }
.pagina {
    padding-left: 3pt; padding-right: 3pt;
    background-color: white; /* f5f5f5 = whitesmoke */
    }
.pagina:before { content: "|"; }
/* .pagina:after  { content: "]"; } */

.person {
    font-variant: small-caps;
    letter-spacing: 0.03em;
    }
p   {
    font-size: 10pt;
    text-indent: 15pt;
    }
blockquote div {
    font-size: 10pt;
    }
ul, dl  {
    font-size: 10pt;
    list-style-type: none;
    }
dl dt {
    font-weight: normal;
    font-family: verdana, tahoma, "bitstream vera sans", sans-serif;
    }
dl dd {
    margin-bottom: 10pt;
    }
hr  {
    height: 1pt;
    color: black;
    border-style: none;
    border-top: 1pt solid black;
    border-right: 1pt solid black;
    background-color: black;
    }

abbr,
acronym,
.versal {
    font-size: 9pt;
    letter-spacing: 0.05em;
    }
div.hrhr {
    text-align: center;
    vertical-align: middle;
    padding: 5pt 5pt 6pt 5pt;
    margin: 10pt 0pt 12pt 0pt;
    border-top: 1px solid black;
    border-bottom: 1px solid black;
    font-family: verdana, tahoma, "bitstream vera sans", sans-serif;
    font-size: xx-small;
    }
div.verse   { padding-left: 20pt; }
div.verse p { text-indent: 0px; margin-top: 5pt; margin-bottom: 5pt; }
