/* w3c-ac.css
   Copyright (c) 2005 W3C (MIT, ERCIM, Keio), All Rights Reserved.
   W3C liability, trademark, document use and software licensing
   rules apply, see:
   http://www.w3.org/Consortium/Legal/copyright-documents
   http://www.w3.org/Consortium/Legal/copyright-software
*/
body
{ margin: 0 0 0 0;  padding: 0 0 0 0;  width: 100%;  height: 100%;  color: black;
  background-color: white;
  font-family: "Gill Sans MT", "Gill Sans", GillSans, sans-serif;  font-size: 14pt;
}

/*pm: out:
  div dt {  margin-left: 0;  margin-top: 1em;  margin-bottom: 0.5em;  font-weight: bold; }
  div dd {  margin-left: 2em;  margin-bottom: 0.5em; } */

/* ---------- pm: some handy additions: ---------- */

p { margin-bottom:0; }

dl            { /*display:grid;//default:block;"inline":storedBut!effect*/ margin-top:3.42%;/*or 2.1% as P*/
                /*useless: margin-bottom:0;*/ }
dt            { /*display: default:block";inline":storedBut!effect;  margin:0  //dt::first-line !recognized */
              } /* no: https://bloycey.medium.com/how-to-style-dl-dt-and-dd-html-tags-ced1229deda0 */
dd            { margin-left:0/*1.5%*/; /* margin-top:0; margin-bottom:0; */ }
.wDLsymb1st dd{ margin-left:2% }
dl.inline     { display:inline;/*no effect: align-items:baseline//2024-10-12:to unify with w3c-blue2.css*/}
dl.inline dt  { display:inline }
dl.inline dd  { display:inline;  margin-left:0 }

dl.allInline     { display:inline }  /* block now also in allMyFiles.css */
dl.allInline dt  { display:inline }
dl.allInline dd  { display:inline; margin-left:-0.75% }

dl                  dt::after  { content:" \00A0 \00A0 \25be    "; color:green      }
dl.avoidContracting dt::after  { /* still small down triangle */      color:darkOrange }
dl.contracted       dt::after  { content:" \00A0 \00A0 \25b8 ..."; color:green; /*margin-left:1%*/ }
pre dl              dt::after  { content:" \25bc    "; font-size:60% /* 1+ space assumed before <dd> */ }
pre dl.contracted   dt::after  { content:" \25b6 ..."; font-size:60%/*not in allMyFiles.css since 97% for pre*/}
.KR dl              dt::after  { content:" \25bc    "; font-size:60% /* (large) black down-pointing triangle */}
.KR dl.contracted   dt::after  { content:" \25b6 ..."; font-size:50%/*not in allMyFiles.css since 97% for pre*/}
.wDLsymb1st                 dt::after {content:""}/*JS added hyperlinked symbol, !pseudo-element*/
.woDLsymb                   dt::after {content:""}
.wDLsymb1st   dl.contracted dt::after {content:""}/*!need for avoidContracting; CSSadding"contracted"":!effect*/
.woDLsymb     dl.contracted dt::after {content:""}
.woDLsymb .KR dl            dt::after, .woDLsymb pre dl            dt::after  {content:""}
.woDLsymb .KR dl.contracted dt::after, .woDLsymb pre dl.contracted dt::after  {content:""}

dl            dd {              }
dl.contracted dd { display:none }

.wDLsymb1st dl            a.visibleOnlyInExpandedDL { display:inline; color:green } 
.wDLsymb1st dl            a.hiddenOnlyInExpandedDL  { display:none                }
.wDLsymb1st dl.contracted a.visibleOnlyInExpandedDL { display:none                }
.wDLsymb1st dl.contracted a.hiddenOnlyInExpandedDL  { display:inline; color:green }
.wDLsymb1st dl.contracted dt::after { content:"..." }
.wDLsymb1st dl.contracted dt.woDotDotDotAfterIfContracted::after { content:"" }

  dt p        { /*2024-06-07out: margin-top:0; margin-left:20%;  margin-bottom:0//!work: dt p !inline */ }
  dd p        { /*2024-06-07out: margin:0 //!work with dt p !inline*/ }




details { margin-top:1.75em }
summary { white-space:pre }
summary p { display:inline /* -> multiline summary not below expand symbol*/ }
details p { margin-top:0; /*just for 1st P: !discriminate, !important; rm if pbs with previous rule */
            margin-left:.9em /* for all P */
          }

/* .discItem { list-style-type: disc }  .romanItem { list-style-type: lower-roman } */
.center{ text-align: center; }
.center-20pc{ text-align: center; margin-left:-20% }
.centered { text-align:center; /*pm:asForClass"center"*/      vertical-align: middle;} 
.larger { font-size:larger }
.smaller { font-size:smaller }
.small { font-size:small; /* here "small" is smaller than "smaller" ; to avoid since absolute */ }
.smaller80pc { font-size:80% /*even smaller; in slidy.css: p.smaller */ }
.pre { white-space:pre }
.hidden { display: none;  /* pm: versus: visibility: hidden */ }
.noMargin { margin:0 }
.noTopMargin,    .noTop { margin-top:0 }   .noBottomMargin, .noBot { margin-bottom:0 }
.navy { color:Navy }

.vr1    { border-left:1px solid; display:inline-block; width:1% }
.vrSet1 { border-left:1px solid; border-top:1px solid; border-bottom:1px solid; display:inline-block; width:1% }
.vrSet2 { border-left:1px solid; border-top:1px solid; border-bottom:1px solid; display:inline-block; width:100%}
  /* no: <hr style="width:1px; height:100%; display:inline-block"> */
  /* no (hr in black, ...): <div style="display:inline-flex;"> ...</div>    no: flex: 0 0 100%; */
.ib { display:inline-block }

/* ---------- end of "pm: some handy additions:" ---------- */


div.toolbar 
{ position: fixed; z-index: 200;  top: auto; bottom: 0; left: 0; right: 0;
  height: 1.2em; text-align: right;  padding-left: 1em;  padding-right: 1em; 
  font-size: 60%;  color: red;  
  background: rgb(240,240,240);  /* in slidy.css:  background: #5C4DC4; */
}
div.background { display: none; }
div.handout {  margin-left: 20px;  margin-right: 20px; }
div.slide.titlepage { text-align: center; }
div.slide.titlepage.h1 {  padding-top: 40%; }
div.slide 
{ z-index: 20;  margin: 0 0 0 0;
  padding-top: 0;  padding-bottom: 0;  padding-left: 20px;  padding-right: 20px;
  border-width: 0;  top: 0;  bottom: 0;  left: 0;  right: 0;  line-height: 120%;
  background-color: transparent;
}
/* this rule is hidden from IE6 which doesn't support the "+" selector */
div.slide + div[class].slide { page-break-before: always;}
div.slide h1 { /*pm: different from the one in slidy.css */
  padding-left: 1em;  padding-right: 1em;  padding-top: 0.3em;  padding-bottom: 0.3em;
     /*in slidy.css:  padding-left: 0;  padding-right: 20pt;  padding-top: 4pt;  padding-bottom: 4pt; */
  margin-top: 0;  margin-left: 0;  margin-right: 0;  margin-bottom: 0.8em;
  display: block;   font-size: 140%;    /*in slidy.css:  font-size: 160%; */
  line-height: 1.2em;  color: white;
  background-color: #005A9C;  /*in slidy.css:   background: transparent; */
}

div.KR { font-size: 104%/*bef2024-11-27:110%*/; white-space:pre;  font-family: monospace, monospace; }
pre { font-size: 80%; }
pre, div.KR
{ line-height: 120%; /* font-weight: bold; */
  padding-top: 0.2em; padding-bottom: 0.2em; padding-left: 2em; padding-right: 1em;
  border-style: solid; border-left-width: 1em; border-top-width: thin;
  border-right-width: thin; border-bottom-width: thin;
  border-color: #95ABD0;  color: rgb(0,128,0);  color: #00428C;
  /*in slidy.css:  border-color: #5C4DC4; color: #00428C; background-color: #E4E5E7; */
}
li pre, li div.KR  { margin-left: 0; }
@media print 
{ pre, div.KR  { font-size: 60%; /*in slidy.css: font-size: 80%; padding-left: 0.5em; */ } }

blockquote { font-style: italic }
img { background-color: transparent }
p.copyright { font-size: smaller }
.footnote { font-size: smaller; margin-left: 2em; }

a img { border-width: 0; border-style: none }
a:visited { color: navy }
a:link { color: navy }
a:hover { color: red; text-decoration: underline }
a:active { color: red; text-decoration: underline }
@media screen { a {text-decoration: none} } /*pm: added media on 2024-05-17 */ /* @media print { } */

.navbar a:link {color: white}
.navbar a:visited {color: yellow}
.navbar a:active {color: red}  
.navbar a:hover {color: red}

p,pre,ul,ol,blockquote,h2,h3,h4,h5,h6 { margin-left: 1em;  margin-right: 1em; }
p.subhead { font-weight: bold; margin-top: 2em; }
td,th { padding: 0.2em;  font-size: 100%; }




ul {/* list-style-type: square; //pm: overridden by style for "ul li" which, if put here, has 2 effects:
        1) the blue square is added to all "ul li+", not just "replacing the default disc of "ul li"
        2) the left margin is 0 instead of a bit more */
     margin: 0.5em 1.5em 0.5em 1.5em;   padding: 0; /* + in slidy.css: vertical-align: top; */ }
ol { margin: 0.15em 1.5em 0.5em 1.5em;  padding: 0; /* overridden below, as explained for ul, above
pm 2024-05-05: 0.15em <- 0.5em 
ul ul { list-style-type: disc; }
ul ul ul { list-style-type: circle; }
ul ul ul ul { list-style-type: circle; }  https://developer.mozilla.org/en-US/docs/Web/CSS/list-style-type  */ }

li { margin-left: 0.5em;  margin-top: 0.5em; }
li p { /*pm: my addition */ margin-left: 0.1em; white-space:pre; }

ul li { list-style: none; /* pm: this permits to set a blue square bullet instead of the black bullet */
        margin: 0.1em 0em 0.6em 0;  padding: 0 0 0 40px;  /*pm: next line: blue square:*/
        background: transparent url(bullet.png) no-repeat 5px 8px; line-height: 140%; }
.romanItem { list-style:lower-roman;  margin: 0em 0em 0.15em 1.5em;  padding: 0 0 0 0.3em;
             background:none/*or ""unset"*/ }
.discItem { list-style:disc;  margin: 0em 0em 0.15em 1.5em;  padding: 0 0 0 0.3em;
             background:none/*or ""unset"*/ }
/* workaround IE's failure to support background on li for print media */
@media print { ul li { list-style: disc; padding-left: 0; background: none; } }

ol li { /*pm: putting this block before the previous ul block leads to the small margin of the ul */
        background: initial;  /*pm: added 14/08/2021 */
        margin: 0.1em 0em 0.6em 1.5em;  padding: 0 0 0 0px;  line-height: 140%; /*
ol li li { list-style-type:square; margin: 0.1em 0em 0.6em 1.5em;  padding: 0 0 0 0px;  line-height:140%; }*/ }

ul li li, ol li li { /*old: with "ul" in front, ol ul has a blue square and not in the right place */
          /*pm: font-size:85%;  font-style:italic;*/ background: transparent; padding: 0 0 0 0;
          list-style-type: square; /*pm: curiously necessary HERE for having ul li li bullets*/ }
ul li li li, ol li li li { /*pm:  font-size: 85%; */  font-style: normal; 
          list-style-type: disc; /*pm: otherwise, disc bullets inherited, even instead inner ol bullets*/
          background: transparent;  padding: 0 0 0 0; }
ul li li li li, ol li li li li { list-style-type:circle;  background:transparent; padding:0 0 0 0; }
ul li li li li li, ol li li li li li { list-style-type: decimal;  background: transparent;
                                       padding: 0 0 0 0; }
ul li li li li li li, ol li li li li li li { list-style-type: lower-alpha;  background: transparent;
                                             padding: 0 0 0 0; }







/* pm: the rest (till the ol.outline stuff) is not in slidy.css */

img.withBorder { border: 2px solid #c60;  padding: 4px; }

div.header {  position: absolute;  z-index: 2;
  left: 0;  right: 0;  top: 0;  bottom: auto;
  height: 2.95em;  width: 100%;  padding: 0 0 0 0;  margin: 0 0 0 0;
  border-width: 0;  border-style: solid;  background-color: #005A9C;
  border-bottom-width: thick;  border-bottom-color: #95ABD0; }
div.footer {  position: absolute;  z-index: 80;
  left: 0;  right: 0;  top: auto;  bottom: 0;
  height: 3.5em;  margin: 0;  font-size: 80%;  font-weight: bold;
  padding-left: 1em;  padding-right: 0;  padding-top: 0.3em;  padding-bottom: 0;
  color: #003366;  background-color: #95ABD0; }

/* this is a hack to hide property from IE6 and below */
div[class="footer"] {  position: fixed; }

#w3c-logo { margin: 0;  margin-top: 0.3em; margin-right: 0.75em;
     padding-top: 0;  padding-bottom: 0;  padding-left: 0;  padding-right: 0;
     height: 2em;  width: 4.1em;  float: right; z-index: 3; background: #90A7D0;
}
#w3c-logo-fallback { margin: 0;   margin-top: -0.5em;  margin-right: 0.75em;
     padding-top: 0;  padding-bottom: 0;  padding-left: 0;  padding-right: 0;
     height: 3em;  width: 4.1em;  float: right;  z-index: 3;  background: #90A7D0;
}
div.cover { margin: 0;  padding: 0;  background-color: #90A7D0;
  overflow: hidden;  width: 100%;  height: 100%; }
div.cover div.header
{ position: absolute;  z-index: 0;
  left: 0;  right: 0;  top: 0;  bottom: auto;  height: auto;
  margin: 0;  width: 100%;  padding: 0.5em 0.5em 1em 0.5em;
  color: #FFFFFF;  border-width: 0;  border-style: solid;
  background-color: #005A9C;  border-bottom-width: thick;  border-bottom-color: #95ABD0;
}
div.slide.cover h1 {  margin-bottom:0;  background-color:navy/*#005A9C*/; }
div.slide.cover img.cover { margin-top: 5em;  float: right;  width: 60%; }
div.slide h1 a:link {color: white}
div.slide h1 a:visited {color: white}
div.slide h1 a:active { color: red;  text-decoration: underline; }
div.slide h1 a:hover {  color: yellow;  text-decoration: underline; }
div.slide h1 a { text-decoration: none }
div.slide.cover h2 { clear: both;  color: white;  padding-top: 4em; }
div.cover div.header p { clear: both; margin-top: 0.5em; margin-left: 1.5em; margin-bottom: 0; }
div.header p.explanation { font-style: italic; }
div.slide.cover a { color: white; }
div.slide.cover a:hover, div.slide.cover a:active { color: yellow; text-decoration: underline; }

/* for Bert as an ardent user of the old W3C slidemaker tool */
div.comment { display: none; visibility: hidden }
@media print { div.comment { display: block; visibility: visible } }








/* setting class="outline on ol or ul makes it behave as an
 ouline list where blocklevel content in li elements is
 hidden by default and can be expanded or collapsed with
 mouse click. Set class="expand" on li to override default */
ol.outline li:hover { cursor: pointer }
ol.outline li.nofold:hover { cursor: default }
ul.outline li:hover { cursor: pointer }
ul.outline li.nofold:hover { cursor: default }
ol.outline { list-style:decimal; }
ol.outline ol { list-style-type:lower-alpha }
ol.outline li.nofold { padding: 0 0 0 20px;
                       background: transparent url(nofold-dim.bmp) no-repeat 0px 0.5em; }
ol.outline li.unfolded { padding: 0 0 0 20px;
                         background: transparent url(fold-dim.bmp) no-repeat 0px 0.5em; }
ol.outline li.folded { padding: 0 0 0 20px;
                       background: transparent url(unfold-dim.bmp) no-repeat 0px 0.5em; }
ol.outline li.unfolded:hover { padding: 0 0 0 20px;
                               background: transparent url(fold.bmp) no-repeat 0px 0.5em; }
ol.outline li.folded:hover { padding: 0 0 0 20px;
                             background: transparent url(unfold.bmp) no-repeat 0px 0.5em; }

/* rectangular blue bullet + unfold/nofold/fold widget */
ul.outline li.nofold { padding: 0 0 0 52px;
                        background: transparent url(bullet-nofold-dim.gif) no-repeat 5px 8px; }
ul.outline li.unfolded { padding: 0 0 0 52px;
                         background: transparent url(bullet-fold-dim.gif) no-repeat 5px 8px; }
ul.outline li.folded { padding: 0 0 0 52px;
                       background: transparent url(bullet-unfold-dim.gif) no-repeat 5px 8px; }
ul.outline li.unfolded:hover { padding: 0 0 0 52px;
  background: transparent url(bullet-fold.gif) no-repeat 5px 8px; }
ul.outline li.folded:hover { padding: 0 0 0 52px;
                             background: transparent url(bullet-unfold.gif) no-repeat 5px 8px; }