:root {
  --clr01: #fff; /* white */
  --clr03: #00f; /* blue */
  --clr04: #000080; /* navy */
  --clr08: #ff0; /* yellow */
  --clr09: #ffffe0; /* light yellow */
  --clr12: #f00; /* red */
  --font01: "Open Sans", Tahoma, san-serif;
}

a:visited
 {color: var(--clr04);}
a:focus,
a:hover
 {background: var(--clr09);
  color: var(--clr03);
  padding: 3px;
  text-decoration: underline;}
h1
 {margin-left: 20%;
  text-align: left;}
  @media (max-width: 800px) {
      h1
      {margin-left: 25px;}
  }

  /* chapter */
.chapter
 {color: var(--clr04);
  font-family: var(--font01);
  font-size: 20pt;
  margin: 1rem auto 10px 20%;
  padding: 0;
  list-style-position: inside;
  list-style-type:upper-alpha;}
    @media (max-width: 800px) {
      ol.chapter
       {font-size: 12pt;
        margin: 0 auto 10px 2rem;}
    }
.chapter ol > ul
 {color: var(--clr12);}
.chapter li
 {list-style-position: inside;
  list-style-type: upper-latin;}
.chapter li li
 {list-style-position: inside;
  list-style-type: decimal;}
.chapter li li li
 {list-style-position: inside;
  list-style-type: lower-alpha;}
.chapter li li li li
 {list-style-position: inside;
  list-style-type: decimal;}
.chapter li
 {color: var(--clr04);
  font-size: 1.25rem;
  font-family: var(--font01);
  font-weight: normal;
  margin: 0 0 0 1rem;
  padding: 5px 0 0 0;}
    @media (max-width: 800px) {
      .chapter li
       {margin-left: 1rem;}
    }
.chapter li > a,
.chapter li > a:visited
 {color: var(--clr04);
  font-size: 1.25rem;
  text-decoration: none;}
.chapter li > a:hover,
.chapter li > a:focus-visible
 {background-color: var(--clr09);
  border: 2px solid var(--clr03);
  color: var(--clr03);
  font-size: 1.25rem;
  font-weight: 300;
  padding: 2px;
  text-decoration: underline;}
.chapter ol
 {padding: 3px 0 0 0;}

.right_title
 {font-size: 1.2rem;
  padding-top: 20px;}
div.toc
 {background-color: var(--clr01);
  color: var(--clr04);
  display: grid;
  grid-template-columns: 25% 1.5rem 75%;
  font-family: var(--font01);
  font-size: 1rem;
  margin: 0 0 0 10%;
  padding: 0;
  width: 80%;}
    @media (max-width: 800px) {
      div.toc
      {grid-template-columns: 33% 1.5rem 66%;
        margin: 3px auto;
        position: relative;
        width: 95%;}
    }

.toc_chapter
 {margin: 10px 0 0 0;
  text-align: right;}
    @media (max-width: 800px) {
      .toc_chapter
       {font-size: 1rem;}
    }
.toc_chapter a,
.toc_chapter a:visited
 {color: var(--clr04);
  font-size: 1.25rem;
  margin: 0;
  padding: 5px 2px 2px 2px;
  text-align: right;}
    @media (max-width: 800px) {
      .toc_chapter
       {font-size: 1rem;}
    }
.toc_chapter a:focus-visible,
.toc_chapter a:hover
 {color: var(--clr03);
  text-decoration:underline;}
div.toc_header
 {background-color: var(--clr04);
  color: var(--clr08);
  font-size: 1.5rem;
  font-weight: bold;
  margin: 20px auto 10px 10%;
  padding: 10px 0;
  text-align: center;
  max-width: 80%;}
.toc_list li
 {font-family: var(--font01);
  font-size: 1rem;
  margin-left: 1rem;
  padding: 3px;
  list-style-type: upper-latin;
  list-style-position: inside;}
.toc_list li li
 {font-family: var(--font01);
  font-size: 1rem;  
  margin-left: 2rem;
  padding: 3px;
  list-style-type: decimal;
  list-style-position: inside;}
.toc_list li li li
 {font-family: var(--font01);
  font-size: 1rem;
  margin-left: 2rem;
  padding: 3px; 
  list-style-type: lower-alpha;
  list-style-position: inside;}
.toc_list li li li li
 {font-family: var(--font01);
  font-size: 1rem;
  margin-left: 2rem;
  padding: 3px;
  list-style-type: decimal;
  list-style-position: inside;}
.toc_list li:last-child
 {margin-bottom: 0;
  padding-bottom: 0;}
.toc_list > a
 {font-size: 12pt;
  padding: 5px;}
div.toc-container
 {width: fit-content;}

  /* footer */
footer table
 {background-color: var(--clr04);
  border-collapse: collapse;
  color:var(--clr08);
  margin: 10px 0 0 0;
  width: 100%;}
footer table td
 {background-color: var(--clr04);
  border: 5px solid var(--clr04);
  color: var(--clr08);
  font-size: 1.25rem;
  margin: 0;
  padding: 0;
  height: fit-content;
  width: 25%;}
  @media (max-width: 800px) {
    footer table td
     {font-size: 1rem;
      font-weight: normal;}
  }
footer table td.left
 {padding: 0 0 0 25px;
  text-align: left;
  vertical-align: middle;}
  @media (max-width: 800px) {
    .left a:hover,
    .left a:focus-visible
     {font-size: 1rem;
      font-weight: normal;}
  }
footer table td.center
 {text-align: center;
  vertical-align: middle;
  padding: 0;
  width: 50%;}
  @media (max-width: 800px) {
    footer table td.center
     {font-size: 10pt;
      font-weight: normal;}
  }
footer table td.right
 {padding:0 25px 0 0;
  text-align: right;
  vertical-align: middle;}
  @media (max-width: 800px) {
    .right a:hover,
    .right a:focus-visible
     {font-size: 1rem;
      font-weight: normal;}
  }
footer table td.legal
 {background-color: var(--clr09);
  color: var(--clr04);
  font-size: 1.2rem;
  font-weight: normal;
  padding: 5px;
  text-align: center;
  width: 50%;}
  @media (max-width: 800px) {
    footer table td.legal
     {font-size: 10pt;
      font-weight: normal;
      padding: 3px;}
  }
.legal span
 {display:none}
  @media (max-width: 800px) {
    .legal span
     {display: inline;}
  }
footer table td.last
 {font-size: 10pt;
  font-style: italic;
  padding:0 25px 0 0;
  text-align: right;}
  @media (max-width: 800px) {
    footer table td.last
     {font-size: 8pt;
      font-weight: normal;}
  }
footer table td.last::before
 {content: "Last revision: ";
  font-style: normal;}
 @media (max-width: 800px) {
    footer table td.last::before
     {display: none;}
  }
footer a
 {color: var(--clr08);
  margin: 0;
  padding: 3px 5px;}
footer a:hover,
footer a:focus-visible
 {background-color: var(--clr09);
  border: 1px solid var(--clr03);
  color: var(--clr08);
  font-size: 1.2rem;}
footer a:visited
 {color: var(--clr08);}

button.accessible
 {color: var(--clr04);
  font-size: 1.25rem;
  padding: 5px;
  margin: 3px 15px 10px auto;}
div.button
 {margin: 0;
  padding: 0;}

.chapter_right
 {margin: 0;
  padding: 10px 10px 3px 40px;}

  /* Last update: 29 April 2026 */