@import url('https://fonts.googleapis.com/css2?family=EB+Garamond:ital,wght@0,400..800;1,400..800&amp;family=Noto+Sans+Math&amp;display=swap');

h1     { font-weight: normal; font-size: 16pt; font-family: "EB Garamond"; text-align: center; margin-right: 0cm; margin-bottom: 18pt; margin-left: 0cm}
h2     { font-weight: normal; font-size: 14pt; font-family: "EB Garamond"; text-align: left; margin: 0.5cm 0cm 6pt; page-break-after: avoid  }
h3  { font-weight: normal; font-size: 12pt; font-family: "EB Garamond"; margin: 0.5cm 0cm 3pt; page-break-after: avoid  }
h4  { font-weight: normal; font-size: 12pt; font-family: "EB Garamond"; margin: 0.5cm 0cm 3pt; page-break-after: avoid  }
h5 { font-weight: normal; font-size: 12pt; font-family: "EB Garamond"; margin: 6pt 0cm 3pt 14.2pt; page-break-after: avoid }
h6 { font-weight: normal; font-size: 12pt; font-family: "EB Garamond"; margin: 6pt 0cm 3pt 1cm; page-break-after: avoid }

.analysis  { color: navy; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.canalysis   { color: navy; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: center; margin: 0cm 0cm 0pt }
.author   {  font-size: 17pt; font-family: Silentium Pro Roman I; text-align: center; margin: 12pt 0cm 6pt; page-break-after: avoid  }
.bibl  { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: 5mm; margin: 0cm 0cm 0pt 72pt }
.biblauthor  { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: 0pt; margin: 6pt 0cm 0pt 72pt; page-break-after: avoid  }
.biblauthorCitat { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -43.65pt; margin: 6pt 0cm 0pt 65.2pt; page-break-after: avoid  }
.citblock { font-size: 12pt; font-family: "EB Garamond"; margin: 6pt 0cm 6pt 43.1pt }
.citblockskr { font-weight: bold; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 6pt 0cm 6pt 43.1pt }
.citblockskrfn { font-weight: bold; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt 43.1pt }
.citpoetry { font-size: 12pt; font-family: "EB Garamond"; margin: 0cm 43.2pt 0pt }
.citpoetry1 { font-size: 12pt; font-family: "EB Garamond"; margin: 6pt 43.2pt 0pt 21.6pt }
.colt { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.fnpoetry { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: 21.55pt; margin: 0cm 0cm 0pt 21.6pt }
.fnpoetry1 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -21.6pt; margin: 6pt 0cm 0pt 21.6pt }
.footer { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: center; margin: 0cm 0cm 12pt }
.index1 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: justify; text-indent: 21.6pt; margin: 0cm 0cm 0pt }
.index2 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: justify; text-indent: 21.6pt; margin: 0cm 0cm 0pt 14.15pt }
.index3 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: justify; text-indent: 21.6pt; margin: 0cm 0cm 0pt 28.3pt }
.index4 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: justify; text-indent: 21.6pt; margin: 0cm 0cm 0pt 42.45pt }
.index5 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: justify; text-indent: 21.6pt; margin: 0cm 0cm 0pt 56.6pt }
.index6 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: justify; text-indent: 21.6pt; margin: 0cm 0cm 0pt 70.75pt }
.indexheading { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: justify; text-indent: 21.6pt; margin: 0cm 0cm 0pt }
.item   { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.left       { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: justify; margin: 0cm 0cm 0pt }
.right        { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: right; margin: 0cm 0cm 0pt }
.leftNM       { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: left; margin: 3pt 0cm 0pt }
.leftnojustify      { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: left; margin: 0cm 0cm 0pt }
.leftskrprose        { font-weight: normal; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: justify; margin: 0cm 0cm 0pt }
.normalskrprose        { font-weight: normal; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: justify; text-indent: 1cm; margin: 0cm 0cm 0pt }
.leftskrverse          { font-weight: normal; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: left; margin: 0cm 0cm 0pt 0pt }
.leftskrverse1         { font-weight: normal; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: left; margin: 6pt 0cm 0pt }
.centre      { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: center; margin: 0cm 0cm 0pt }



.ctitle    { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: center; margin: 0cm 0cm 0pt }
.fnr       { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: right; vertical-align: bottom; margin: 0cm 0cm 0pt }
.legal      { color: gray; font-size: 8pt; line-height: normal; font-family: "EB Garamond"; text-align: right; margin: 0cm 0cm 0pt }
.legalm      { color: gray; font-size: 8pt; line-height: normal; font-family: "EB Garamond"; text-align: left; margin: 0cm 0cm 0pt }
.tlegal       { color: black; font-size: 12pt; line-height: normal; font-family: "EB Garamond"; text-align: center; margin: 0cm 0cm 0pt }
.mark  { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: right; margin: 0cm 0cm 0pt }
.normal { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: 21.55pt; margin: 0cm 0cm 0pt }
.panalysis { font-size: 12pt; line-height: 16pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.pcolt { font-size: 12pt; line-height: 16pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.pitem { font-size: 12pt; line-height: 16pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.pight { font-size: 12pt; line-height: 16pt; font-family: "EB Garamond"; text-align: right; margin: 0cm 0cm 0pt }
.pmark  { font-size: 12pt; line-height: 16pt; font-family: "EB Garamond"; text-align: right; margin: 0cm 0cm 0pt }
.points { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -19.85pt; margin: 0cm 0cm 12pt 19.85pt }
.powt { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.proseskr { font-weight: bold; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 6pt }
.prowt { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.rule        { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.sfversep1 { font-size: 12pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt 42.55pt; page-break-after: avoid  }
.sfversep2 { font-size: 12pt; font-family: "EB Garamond"; margin: 0cm 0cm 6pt 42.55pt; page-break-after: avoid  }
.sfversepab { font-size: 12pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt 14.2pt; page-break-after: avoid  }
.sfversepcd { font-size: 12pt; font-family: "EB Garamond"; margin: 0cm 0cm 6pt 1cm; page-break-after: avoid  }
.skrprose { font-weight: bold; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 6pt }
.title   { font-size: 29pt; font-family: "Silentium Pro Roman I"; text-align: center; margin: 0cm 0cm 0pt }
.title1    { font-size: 17pt; font-family: "Silentium Pro Roman I"; text-decoration: none; text-align: center; margin: 0cm 0cm 0pt }
.toc1     { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; vertical-align: top; margin: 0pt; padding: 0pt; position: fixed; height: 0pt }
.toc2      { font-weight: bolder; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: left; vertical-align: top; margin: 0pt; padding: 0pt }
.toc3     { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: left; vertical-align: top; margin: 0pt; padding: 0pt }
.toc4	    { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: left; vertical-align: top; margin: 0pt; padding: 0pt }
.verse { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt 14.2pt }
.verse1 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -2cm; margin: 0cm 0cm 0pt 76.55pt; page-break-after: avoid }
.verse2 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -2cm; margin: 0cm 0cm 0pt 76.55pt; page-break-after: avoid }
.verse3 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -2cm; margin: 0cm 0cm 0pt 76.55pt; page-break-after: avoid }
.verse4 { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -2cm; margin: 0cm 0cm 12pt 76.55pt }
.verseengtrsl { font-size: 12pt; font-family: "EB Garamond"; margin: 0cm 0cm 6pt; page-break-after: avoid }
.verseskr { font-weight: bold; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -36.85pt; margin: 0cm 0cm 0pt 79.95pt; page-break-after: avoid }
.verseskrindent { font-weight: bold; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt 79.95pt; page-break-after: avoid }
.verseskrpa { font-weight: bold; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -36.85pt; margin: 0cm 0cm 0pt 36.85pt; page-break-after: avoid }
.verseskrpb { font-weight: bold; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -36.85pt; margin: 0cm 0cm 0pt 3cm; page-break-after: avoid }
.verseskrpc { font-weight: bold; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -1cm; margin: 0cm 0cm 0pt 2cm; page-break-after: avoid }
.verseskrpd { font-weight: bold; font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-indent: -36.85pt; margin: 0cm 0cm 0pt 3cm; page-break-after: avoid }
.verseswetrsl { font-size: 12pt; font-family: "EB Garamond"; margin: 0cm 0cm 6pt; page-break-after: avoid }
.versetitle { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; text-align: center; text-indent: -14.4pt; margin: 12pt 0cm 0pt; page-break-after: avoid }
.versetrsl { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 6pt 43.1pt }
.fnr  { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.impl  { font-size: 12pt; line-height: normal; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.toc  { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
.rowt { font-size: 12pt; line-height: 18pt; font-family: "EB Garamond"; margin: 0cm 0cm 0pt }
a:link { color: #800000 ;text-decoration: none}
a:hover { color: #8b4513 ;text-decoration: none}
a:vlink { color: #800000 ;text-decoration: none}
a { color: #800000 ;text-decoration: none}
.part   { font-weight: bold; font-size: 12pt; line-height: normal; font-family: "EB Garamond"; margin: 0.5cm 0cm 0pt }
.prestitle  { font-weight: normal; font-size: 12pt; font-family: "EB Garamond"; margin: 0cm 0cm 3pt; page-break-after: avoid  }
.lettertitle { font-weight: normal; font-size: 24pt; font-family: "EB Garamond"; text-align: center; margin-right: 0cm; margin-bottom: 18pt; margin-left: 0cm; page-break-after: avoid  }
.nicecom  { color: gray; font-size: 8pt; line-height: normal; font-family: "EB Garamond"; text-align: center; margin: 0cm 0cm 0pt }


#theor  { color: black; font-weight: normal }
#myemph  { font-style: italic; font-size: 13pt }
#myital    { font-weight: bold }
#noncs   { color: gray; font-weight: bold }
#cs  { color: black; font-weight: bold }
#mycs     { font-weight: bold }
#timeline { color: grey; font-size: 7pt}
#capskr  { color: black; font-weight: bold }
#myetc { color: black; font-size: 7pt}
#logic { font-family: "Noto Sans Math"; font-size: 16pt}
#mark { font-family: "Noto Sans Math"; font-size: 16pt}
#root { font-family: "Noto Sans Math"; font-size: 16pt}
#upr { font-family: "Noto Sans Math" }
#myor { font-size: 16pt; font-family: "Noto Sans Math" }
#mynot { font-family: "Noto Sans Math"; font-size: 12pt}
#greec { font-family: "Noto Sans Math"}
 
#previous { color: black; font-weight: bold; margin: 0.5cm 0cm 3pt}
#thisroot { color: black; font-weight: bold}
#next { color: black; font-weight: bold}


