BODY { /* CSS file imported by some/many of my HTML files (pm \@\ phmartin \.\ info ; 30/5/2019) */
       font-size:11pt; counter-reset:h1n 0/*or: -1*/; width:56em
/* DIV { margin-top:0; } */   }
H1 { font-size:19pt; counter-reset:h2n; margin-top: 20%; }   H1.noTopSep { margin-top:5%; }
H2 { font-size:16pt; counter-reset:h3n; margin-top: 12%; }   H2.noTopSep { margin-top:4%; }
H3 { font-size:14pt; counter-reset:h4n; margin-top: 8%;  }   H3.noTopSep { margin-top:3%; }
H4 { font-size:12pt; counter-reset:h5n; margin-top: 5%;  }   H4.noTopSep { margin-top:2%; }
H5 { font-size:10.5pt;                  margin-top: 3%;  }   H5.noTopSep { margin-top:1%; }
H1,H2,H3,H4,H5 { white-space: pre;
/* To generate section numbers (which unfortunately are not searchable in browsers+editors):
   H1::before { counter-increment:h1n; content:counter(h1n)". "; }
   H2::before { counter-increment:h2n; content:counter(h1n)"."counter(h2n)". "; }
   H3::before { counter-increment:h3n; content:counter(h1n)"."counter(h2n)"."counter(h3n)". "; }
   H4::before { counter-increment:h4n;
                content:counter(h1n)"."counter(h2n)".";counter(h3n)"."counter(h4n)". "; }
   H5::before { counter-increment:h5n;
       content:counter(h1n)"."counter(h2n)".";counter(h3n)"."counter(h4n)". "counter(h5n)". "; }
*/ }
.pTableOfContents { white-space:pre; margin-top:0; }
.spanH1, .spanLev1 { }
.spanH2, .spanLev2 { } 
.spanH3, .spanLev3 { }
.spanH4, .spanLev4, .tocH4 { font-size:smaller; } 
.spanH5, .spanLev5, .tocH5 { font-size:smaller; }

CODE { font-family:monospace; font-size:89%; }
PRE, XMP, .KR { text-align:left; font-size:89%;  margin-bottom:0.6em;
                /*93%forBodyOf10.5pt = 89%forBodyOf11pt = 9.8ptInHeight(widthDoesNotChange!)*/ }
PRE, XMP { margin-top:0em; /*2020-8-13: was 1em */ }  
.KR      { margin-top:0em; text-align:left; font-family:monospace;  white-space:pre; }
PRE P    { margin-top:1em; margin-bottom:0em; }
.pre-ed, pre { white-space:pre; }   .nowrap  { white-space:nowrap; } 
.centered{ text-align: center; } 
P { text-align:justify; margin-top: 1.25em; margin-bottom: 0.5em; }
.margin0,.m0{ margin: 0 0 0 0; }
  .mt0{margin-top:0;}  .mt6{margin-top:6px;} .mt6{margin-top:9px;} 
  .mb0{margin-bottom:0;}
  .mL0{margin-left:0} .mL10pc{margin-left:10%} .mL15pc{margin-left:15%} .mL18pc{margin-left:18%}
                      .mL20pc{margin-left:20%}
.smaller { font-size:smaller;/*"small" is absolute and biggerThanTheSmallerOf11pt */
           /* Warning: unlike <small>, "smaller" also reduces the interlign */ } 
.center { text-align: center; 
/* does not work: 
   .center TD         { text-align: center; vertical-align: middle; } 
   .center TABLE      { margin-left: auto; margin-right: auto;  //or: margin: 0 auto 0 auto; } 
*/ }

TABLE         { /*2020-12, no more:     border: 0px solid;   border-spacing:0.1em;  padding:0em; */ }
TABLE.centered, TABLE.center{ margin-left: auto; margin-right: auto; /*or: margin: 0 auto 0 auto; */ } 
TR.no-entry, TD.no-entry { background-color:WhiteSmoke; } 
TH, TD        { border:0; /* the default */ }
TABLE.center  { text-align: center; vertical-align: middle; } 
TABLE.woBorder{ border: 0px solid;   border-spacing:0.1em;/*near default*/  padding:0em;
                /*no more: margin-top: 0em; margin-bottom: 0.5em;  //no: border-collapse:collapse; */ }
TABLE.wB      { border: 1px solid black;  border-spacing:0; /*new:2020-12-16 */ }
TABLE.wBorder { border: 1px solid black;  border-spacing:0;  padding:6px;  /*new */
                margin: 0 0 1.5em 0;  /*no: border-collapse:collapse; */ }
TABLE.wBorder0{ border: 1px solid black;  border-spacing:0;  padding:0px;  /*new */
                margin: 0 0 1.5em 0;  border-collapse:collapse;/*otherwise big borders*/ }
TH.woBorder,  TD.woBorder  {border:0; /* the default */ }
TH.wBorder,   TD.wBorder   {border:1px solid; border-spacing:0em; padding:10px; } 
TH.wBorder0,  TD.wBorder0  {border:1px solid; border-spacing:0em; padding: 5px; } 
TH.wBorder0c, TD.wBorder0c {border:1px solid; border-spacing:0em; padding: 5px; text-align:center} 

.wP5 .wPadding5 { padding:5px; }    .wP6 .wPadding6 { padding:6px; }
.c0 {text-align:center; padding:0}  .c5 {text-align:center; padding:5px; }


A:link {text-decoration: none}  A:visited {text-decoration: none}
A.generatedTypeAnchor {color: black} 

UL, OL { margin-top: 0; margin-bottom: 1em; /*or(article?): margin-bottom: 0;*/  }
LI { text-align:justify; margin-top: 0.1em; /*or: 0.2em; */
     margin-bottom: 0.2em; margin-left: 0; }

   DT:first-of-type {display:inline-block; min-width:100px; font-weight:bold}
   DT {display:block; /*pb: then dd is below DT */
       min-width:100px; font-weight:bold; clear:left}
DT+DD::before{content:":=  "}      DD::before {content:", "}      
   DD {display:inline-block; margin:0} /*DD::after  {display:block; content:''}*/

.rule { font-size:smaller; } 
.TOCtitlesOfSubsectionLevel_hideOrReveal { color: blue;
/* .nextSiblingIsTemporarilyHidden { display:inline };
   .temporarilyHidden { display:none };
   .spanThatWasClickedOn { }  .spanThatWasNotClickedOn { }
*/ }
.hidden { display: none; }
.noMargin { margin: 0; }
.noTopMargin,    .noTop { margin-top: 0; }
.noBottomMargin, .noBot { margin-bottom: 0; }
.BOOK { display: none; }
.nowrap { white-space: nowrap; }
.pre { white-space:pre; }
.A { display: inline; }
.M { display: inline; }
.exModif { }
.modif { }
@media print
{ BODY {font-size: 11pt; counter-reset: sectionNumber; }
  code,pre {page-break-inside: avoid;  font-size: 10pt; }
  table,li {page-break-inside: avoid; }
  H1, H2 {page-break-before: always;}
  .pageBreakBefore {page-break-before: always;}
  .pageBreakAfter  {page-break-after: always;} 
  A:link {text-decoration: none}  A:visited {text-decoration: none}
}