:root {
  --clr01: #fff; /* white */
  --clr02: #000; /* black */
  --clr03: #f8f1e8; /* light parchment */
  --clr04: #023020; /* dark green */
  --clr05: #4E0870; /* deep purple */
  --clr06: #c0c0c0; /* silver */
  --clr07: #aaa; /* grey */
  --clr08: #555; /* dark grey */
  --clr09: #ffffe0; /* light yellow */
  --clr10: #eee; /* light grey */
  --clr11: #0000ff; /* blue */
  --font01: "Open Sans", sans-serif;
  --font02: "Nanum Gothic Coding", serif;
  margin: 0;
  padding: 0;
  max-width: 100vw;}
* {
  color: var(--clr02);
  font-family: var(--font01);
  font-size: 12pt;
  margin: 0;
  padding:0;
}  
body
 {background-color: var(--clr03);
  color: var(--clr02);
  margin: 0;
  padding: 0;
  overflow-x: clip;
  width: 100%;
  max-width: 1920px;}
a
 {color: var(--clr02);
  font-weight: bold;
  text-decoration: none;}
a:hover,

    .ud > a:hover
 {background-color: var(--clr01);
  border: 3px double var(--clr11);
  color: var(--clr11);
  font-size: 1.2rem;
  font-weight: bold;
  padding: 5px;
  text-decoration: underline;}
article
 {margin: 10px auto;
  min-height: 65vh;
  width: 90%;}
b
 {font-weight: bold;
  font-style:inherit;
  font-size: inherit;}
button
 {background-color: var(--clr03);
  border:none;
  color: var(--clr04);
  font-size: 2rem;
  margin: 0;
  padding: 2px 5px;}
div
 {padding: 5px 10px;
  margin:0;}
dl
 {display: block;
  margin: 0 0 10px 20px;}
dt
 {display:inline;
  font-size: 1.1rem;}
dd
 {display: inline;}
dd ul
 {list-style-type: none;
  margin-left: 0;
  text-indent: 2rem;}
dd ul li
 {margin: 0 auto 2px 2.5rem;}
em
  {color: inherit;
   font-style: italic;
   font-size: inherit;
   font-weight: bold;}
footer
 {background-color: var(--clr04);
  border-top-width: 20px;
  border-top-style: solid;
  border-image: linear-gradient(to right, silver, silver, white, silver) 1;
  border-right-width: 0;
  border-bottom-width: 0;
  border-left-width: 0;
  color: var(--clr01);
  font-family: var(--font01);
  /* display: flow-root; */
  margin: 0 0;
  padding: 0 20px;
  position: relative;
  bottom: 0;
  left: 0;
  float: left;
  min-height: 50px;
  width: 100%;
  max-width: 1920px;}
h1
 {display: block;
  font-size: 2rem;
  font-family: var(--font01);
  margin: 10px auto;
  text-align: center;}
h2
 {font-size: 1.5rem;
  font-family: var(--font01);
  margin: 0 auto 10px 2rem;
  text-align: center;}
h3
 {font-size: 1.25rem;
  font-family: var(--font01);
  margin: 25px auto 5px 1rem;
  text-align: left;}
h4
{font-size: 1rem;
  font-family: var(--font01);
  margin: 5px auto 5px 1rem;}
i
 {color: inherit;
  font-style: italic;
  font-size: inherit;}
img
 {display: inline-block;}
li:first-of-type
 {padding-top: 5px;}
li li
 {margin: 0 6% 5px 6%;
  padding: 0;}
li li li
   {margin: 0 6% 5px 4%;
    padding: 0;
    text-indent: -2%;}
li ul, ol
  {margin: 0;
   padding: 0;}
nav
 {background-color: var(--clr04);
  border-bottom-width: 20px;
  border-bottom-style: solid;
  border-image: linear-gradient(to right, silver, silver, white, silver) 1;
  border-right:0;
  border-top: 0;
  border-left: 0;
  color: var(--clr03);
  display: flex;
  flex-direction: row;
  margin: 0;
  padding: 0;
  top: 0;
  right: 0;
  min-height: 50px;
  width: 100%;
  max-width: 1920px;
  z-index: 1;}
section
 {display: contents;}
ul
 {list-style-type: none;
  margin-left: 2rem;
  text-indent: -1rem;}
ul li
 {margin-left: 1.5rem;}
ul li ul
 {margin-left: 2rem;}
p,
li
 {margin: 0 auto 10px 2rem;
  padding: 0;
  text-indent: -1rem;}


.asterisk
  {font-weight: bold;
   vertical-align: super;}
.dotted ::before
 {content: "\25CF \00A0 \00A0";
  font-size: 0.5rem;}
.dotted li ul::before
 {content: none;}
.dotted li li::before
  {content: "\27A3 \00A0 \00A0";
   font-size: 0.5rem;
   letter-spacing: 1px;
   vertical-align: 25%;}
.no_dot ::before
 {content: none;}
.grey
 {color: var(--clr07);
  font-family: var(--font01);
  font-size: 0.9rem;
  font-weight: normal;}
.how
 {border: 8px double var(--clr04);
  background-color: var(--clr01);
  color: var(--clr04);
  font-family: var(--font02);
  font-size: 1rem;
  margin:50px auto 50px auto;
  padding: 25px;
  width: 80%;}
  @media (max-width: 800px) {
   div.how
     {margin-bottom: 15px;}
  }
div.ilcs
 {font-family: var(--font02);
  margin: 0 3%;
  text-align: justify;}
.indent
 {margin: 0 0 5px -3%;
  padding:0;
  text-indent: 5%;}
.m
 {margin: 0;
  padding: 0;
  text-align: center;}
.no_indent
  {text-indent: 0;}
.note
 {font-style: italic;
  font-size: 0.85rem;}
a.faux_button 
 {background-color: var(--clr04);
  border: 4px outset var(--clr06);
  border-radius: 15%;
  box-shadow: 5px 5px 5px -0.75px var(--clr07);
  color: var(--clr01);
  display: block;
  font-size: 1rem;
  margin: 10px 10% 10px auto;
  padding: 7px 17px;
  text-decoration: none;
  width: fit-content;
  min-width: 50px;}
  @media (max-width: 800px) {
   a.faux_button
     {margin-left: 65%;
      margin-right: 50px;}
  }
.faux_button a:hover,
.faux_button a:focus-visible
 {background-color: var(--clr04);
  color: var(--clr01);
  font-size: 1rem;}

button.dd 
 {background-color: var(--clr03);
  border: none;
  color: var(--clr01);
  display: inline-block;
  font-size: 1rem;
  padding: 5px;
  text-align: center;
  vertical-align: middle;
  height: 25px;
  width: 25px;}
button.dd:hover,
button.dd:focus-visible
 {background-color: var(--clr01);
  border:2px inset var(--clr11);
  border-radius: 15%;
  box-shadow: 5px 5px 5px -0.75px var(--clr07);
  color: var(--clr11);
  font-size: 1.2rem;
  height: fit-content;
  width: fit-content;}
li.no_button
 {padding-left: 30px;}

.visually_hidden
 {border: 0;
  clip-path: circle(0);
  overflow: clip; 
  padding: 0; 
  position: absolute;
  text-decoration: none;}

     /* footer */
.grid-container
  {display:grid;
   gap: 0;
   grid-template-areas: 
    'previous version next'
    'empty empty last';
   overflow-x: clip;
   padding: 0;
   margin: 5px auto 5px 10%;
   width: 95%;}
    @media (max-width: 800px) {
      .grid-container
       {grid-template-areas:
        'previous next'
        'version version'
        'empty last';
        margin:5px 10px;
        width:95%;}
    }
.grid-container div a
 {color: var(--clr01);
  font-size: 1.25rem;}
.grid-container div a:hover
  {font-size: 1.5rem;}
.e
 {color: var(--clr04);
  content: "\00A0";
  grid-area: empty;
  min-width: 20%;}
  @media (max-width: 800px) {
    .e
      {display: none;}
  }
.last
 {color: var(--clr01);
  font-family: var(--font01);
  font-size: 0.9rem;
  grid-area: last;
  padding: 3px;
  text-align: right;
  width: fit-content;}
.npl
 {grid-area: previous;
  padding: 5px 5px;
  text-align: left;
  width: fit-content;
  text-align: left;}
.npl a
 {color: var(--clr01);
  font-family: var(--font01);}
.npl a:hover,
.npl a:focus-visible
 {color: var(--clr11);}
.npc
  {color: var(--clr01);
   font-family: var(--font01);
   font-size: 1.25rem;
   font-weight: bold;
   grid-area: version;
   padding: 3px;
   width: fit-content;
   text-align: center;}
    @media (max-width: 800px) {
    .npc
     {margin-left: 15%;
      text-align: center;}
     }
.npr
 {float: right;
  grid-area: next;
  padding: 5px 5px;
  text-align: right;
  width: fit-content;
  text-align: right;}
   @media (max-width: 800px) {
    .npr
     {margin-left:40%;
      width: fit-content;}
   }
.npr a
 {color: var(--clr01);
  font-family: var(--font01);}
.npr a:hover,
.npr a:focus-visible
 {color: var(--clr11);}

  /* form */
div.form
 {background-color: var(--clr01);
  border: 1px solid var(--clr02);
  box-shadow: 5px 5px 15px var(--clr07);
  margin: 20px auto;
  padding: 1rem 3%;
  width: 65%;}
.form p
 {margin: 0 0 0.5rem 0;
  padding:0;
  text-indent: 0;}
.form li
 {margin: 0 0 3px 0;
  padding-left: 1rem;
  text-indent: -1rem;}
.form li li
  {padding-left: 1rem;
   text-indent: -1rem;}
.form ul, ol
 {margin: 0 5% 3px 5%;
  padding: 0;}
p.form1
 {text-align: right;
  margin: 5px 80% 0 0;}
p.form2
 {text-align: right;
  margin: 0 77.5% 0 0;}
p.form3
 {text-align: right;
  margin: 0 80% 1.25rem 0;}
.blank
 {color: var(--clr03);
  margin:0;
  padding: 0;
  text-decoration-line: underline;
  text-decoration-style: dotted;
  text-decoration-color: var(--clr02);}

  /* index */
article.index
 {width: fit-content;
  max-width: 100%;
  margin-bottom: 2rem;}
  
  /* nav */
#skip_div,
.skip_div
 {background-color: var(--clr04);
  border: none;
  display: block;
  margin: 0;
  padding: 0;
  position: relative;
  text-align: center;
  top: 0;
  left: -10px;
  min-height: fit-content;
  width: 110%;}
#skip_div > a,
.skip_div > a
 {background-color:var(--clr09);
  border: 3px double var(--clr04);
  color: var(--clr04);
  font-size: 1rem;
  margin: 5px auto;
  padding: 4px 6px;
  text-align: center;}
#skip_div > a:hover,
#skip_div > a:focus-visible,
.skip_div > a:hover,
.skip_div > a:focus-visible
 {background-color: var(--clr09);
  border: 3px double var(--clr04);
  color: var(--clr04) !important;
  padding: 3px;
  font-size: 1.2rem;
  font-weight: bold;
  text-decoration: underline;}
.left
 {margin: 0;
  padding: 0;
  width: 10%;}
.center
 {color: var(--clr01);
  font-family:  var(--font01);
  font-size: 1.5em;
  margin: 0;
  padding: 15px 2px;
  text-align: center;
  min-height: 50px;
  width: 80%;}
.center > p
 {color: var(--clr06);
  font-size: 10pt;}
.center > p
 {color: var(--clr00);
  font-size: 10pt;
  margin-bottom: 0;}
.center > p:first-child
 {font-size: 11pt;
  font-weight: bold;
  margin-top: 1rem;}
.right
 {margin: 0;
  padding: 15px 5px;
  height: fit-content;
  width: 10%;}
nav.menu
 {background-color: transparent;
  border:none;
  border-radius: 0;
  margin: 15px auto;
  padding: 0;}
button#menu
 {background: url('images/menu.ico') no-repeat scroll 0 0 transparent;
  background-color: var(--clr04);
  border: none;
  border-radius: 0;
  color: var(--clr01);
  margin: 0;
  padding: 0;
  height: 50px;
  width: 65px;}
ul#navdd
 {border:1px solid var(--clr02);
  display: none;
  margin: 0;
  padding:0;
  float: right;
  position: absolute;
  top: 75px;
  right: 50px;
  width: fit-content;
  z-index: 2;}
#navdd li
 {background-color: var(--clr01);
  border: 1px solid var(--clr06);
  color: var(--clr02);
  display: block;
  margin: 0;
  padding: 3px 5px;
  text-indent: 0;
  min-width: 7rem;}
#navdd li:hover
 {background-color: var(--clr09);}
#navdd li a
 {color: var(--clr02);
  font-weight: inherit;
  display: block}
#navdd li a:hover
 {font-size: inherit;}
#navdd li a:focus-visible
 {background-color: var(--clr09);
  font-size: 1.1rem;
  font-weight: bold;
  padding: 5px;}
#skip
  {position: absolute;
  left: -9999px;}
#skip:focus
  {left: 1rem;
  top: 1rem;
  z-index: 1000;}

    /* Up & Down */
div.ud
{display: none;
 position: relative;}
  @media (max-width: 800px)  {
    div.ud
      {display: block;
        position: fixed;
        top: 35%;
        right: 0;
        float: right;
        padding: 5px;
        background-color: var(--clr10);
        border: 1px solid var(--clr02);}
    .ud > a
     {color: var(--clr02);
      font-size: 1.25rem;
      margin: auto;
      padding: 5px;}
    .ud > a:hover,
    .ud > a:focus-visible
     {padding: 5px;
      background-color: var(--clr01);
      border: none;
      font-size: 1.25rem;}
 }

/* Last revision: 09 April 2026 */