@font-face {
	font-family: 'Computer Modern Serif';
	src: url('cmunrm.woff2');
	font-weight: normal;
	font-style: normal;
}
@font-face {
	font-family: 'Computer Modern Serif';
	src: url('cmunbx.woff2');
	font-weight: bold;
	font-style: normal;
}/*
@font-face {
	font-family: 'Computer Modern Serif';
	src: url('cmunti.woff2');
	font-weight: normal;
	font-style: italic;
}
@font-face {
	font-family: 'Computer Modern Serif';
	src: url('cmunbi.woff2');
	font-weight: bold;
	font-style: italic;
}*/
@font-face {
	font-family: 'Computer Modern Typewriter';
	src: url('cmuntt.woff2');
	font-weight: normal;
	font-style: normal;
}/*
@font-face {
	font-family: 'Computer Modern Typewriter';
	src: url('cmuntb.woff2');
	font-weight: bold;
	font-style: normal;
}
@font-face {
	font-family: 'Computer Modern Typewriter';
	src: url('cmunit.woff2');
	font-weight: normal;
	font-style: italic;
}
@font-face {
	font-family: 'Computer Modern Typewriter';
	src: url('cmuntx.woff2');
	font-weight: bold;
	font-style: italic;
}*/


a {
 text-decoration: none;
}
body {
  font-size: 125%;
  font-family: "Computer Modern Serif", serif;
  height: 100%;
  text-align: justify;
}
html {
  height: 100%;
}
h1 {
  display: table;
  margin-left: auto;
  margin-right: auto;
  margin-top: 0%;
  margin-bottom: 0.25em;
  border-bottom: 1px solid black;
  border-top: 1px solid black;
  font-size: 250%;
  font-weight: normal;
  text-align: center;
}
.divb {
  width: 35px;
  height: 5px;
  background-color: black;
  margin: 6px 0;
}
.divb0 {
  width: 35px;
  height: 5px;
  background-color: white;
  margin: 6px 0;
}
.dropbtn {
  background-color: #e5e5e5;
  border: none;
  box-shadow: 0px 8px 8px 0px rgba(0,0,0,0.2);
  cursor: pointer;
  font-size: 1em;
  padding: 0.25em;
  z-index: 1;
}
.dropbtn0 {
  background-color: white;
  border: none;
  color: white;
  cursor: auto;
  font-size: 1em;
  padding: 0.25em;
  z-index: 1;
}
.dropdown-content {
  background-color: #f9f9f9;
  box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
  display: none;
  min-width: 13em;
  position: absolute;
  right: 0;
  z-index: 1;
}
.dropdown-content a {
  color: black;
  display: block;
  padding: 12px 16px;
  text-decoration: none;
}
.dropdown-content a:hover {
  background-color: #f1f1f1;
}
.dropdown0 {
  border: 1px solid white;
  display: inline-block;
  float: left;
  position: relative;
}
.dropdown0:hover .dropbtn0 {
  background-color: white;
  color: white;
}
.dropdownr {
  border: 1px solid gray;
  display: inline-block;
  float: right;
  position: relative;
}
.dropdownr:hover .dropdown-content {
  display: block;
}

@media (prefers-color-scheme: dark) {
  a {
    color: gray;
  }
  body {
    background-color: black;
    color: white;
  }
  h1 {
    border-bottom: 1px solid white;
    border-top: 1px solid white;
  }
  .divb {
    background-color: white;
  }
  .divb0 {
    background-color: black;
  }
  .dropbtn {
    background-color: #353535;
    color: white;
  }
  .dropdown-content {
    background-color: #0f0f0f;
  }
  .dropdown-content a {
    color: white;
  }
  .dropdown-content a:hover {
    background-color: #1f1f1f;
  }
  .dropdownr {
    border: 1px solid dimgray;
  }
  .dropbtn0 {
    background-color: black;
    color: black;
  }
  .dropdown0 {
    border: 1px solid black;
  }
  .dropdown0:hover .dropbtn0 {
    background-color: black;
    color: black;
  }
}


.coord {
  font-family: "Computer Modern Typewriter", monospace;
  font-size: 1.0em;
  text-align: center;
}
.div030 {
  margin-left: auto;
  margin-right: auto;
  max-width: 30em;
}
.div033 {
  margin-left: auto;
  margin-right: auto;
  max-width: 33em;
}
.div050a {
  height: 69%;
  margin-left: auto;
  margin-right: auto;
  max-width: 98%;
}
.div050b {
  height: 29%;
  margin-left: auto;
  margin-right: auto;
  max-width: 98%;
}
.div050c {
  height: 7em;
  margin-left: auto;
  margin-right: auto;
  max-width: 50em;
}
.div30 {
  border-top: 1px solid lightgray;
  margin-left: auto;
  margin-right: auto;
  max-width: 30em;
}
.div70 {
  border-top: 1px solid lightgray;
  margin-left: auto;
  margin-right: auto;
  margin-top: 0.5em;
  max-width: 70em;
  padding-top: 1em;
}
.div71 {
  margin-left: auto;
  margin-right: auto;
  margin-top: 0.5em;
  max-width: 70em;
  padding-top: 1em;
}
.q {
  font-weight: bold;
  margin-left: auto;
  margin-right: auto;
}
div {
  margin-left: auto;
  margin-right: auto;
  max-width: 70em;
}
figcaption {
  margin-left: auto;
  margin-right: auto;
  margin-top: 1em;
  text-align: justify;
}
figure {
  margin-left: auto;
  margin-right: auto;
  margin-top: 1.7em;
  max-width: 30em;
  text-align: center;
}
h2 {
  font-weight: normal;
  margin-bottom: 0em;
  margin-top: 0.5em;
  text-align: center;
}
h4 {
  display: table;
  font-weight: normal;
  margin-left: auto;
  margin-right: auto;
  margin-top: 0%;
  text-align: center;
}
hr {
  color: #eeeeee;
  width: 92%;
}
img {
  height: auto;
  max-width: 100%;
}
ol {
  display: table;
  margin-left: auto;
  margin-right: auto;
}
table {
  font-size: 1em;
  margin: auto;
}