navigation {
  position: fixed;
    top: 10%;
    right: 10%;
  background-color: white;
  color: #03075a;
  padding: 20px  30px 30px 50px;
  border-radius: 5px;
  max-width: 40%;
  min-width: 20%;
  line-height: 2em;
  max-height: 50%;
  overflow: auto;
  float: right;
}

navigation2 {
  position: fixed;
   bottom: 30%;
   right: 10%;
  background-color: white;
  color: #03075a;
  padding: 20px  30px 30px 50px;
  border-radius: 5px;
  max-width: 40%;
  min-width: 20%;
  line-height: 2em;
  max-height: 50%;
  overflow: auto;
}


h1 {
    font-size: 2em;
    font-weight: 600;
    color: white;
    padding: 1pt;
    font-family: "ibm plex mono", monospace;
}


h2 {
    font-size: 1.5em;
    font-weight: 600;
    font-style: italic;
    color: #03075a;
    background-color: white;
    padding: 10px;
    border-radius: 5px 5px 0 0;
    font-family: "ibm plex mono", monospace;
}


hr {
    display: block;
    height: 1px;
    border: 0;
    border-top: 0.3em dashed #03075a;
    margin: 1em 0;
    padding: 0;
}

hrw {
    display: block;
    height: 1px;
    border: 0;
    border-top: 0.3em white;
    margin: 1em 0;
    padding: 0;
}


.bgcolor {
 color: #03075a;
}

tall-thin {
   font-size: 1.5em;
    font-weight: 200;
    font-style: italic;
    color: white;
    padding: 1pt;
    font-family: "ibm plex mono", monospace;
}


body {
  position: absolute;
    left: 10%;
    margin: 5%;
  max-width: 500px;
  background-color: #03075a;
  font-family: "ibm plex mono", monospace;
}

page { 
  font-size: 14pt;
  font-weight: 400;
  color: white;
  font-family: "ibm plex mono", monospace;
}

whitepage {
 
  font-size: 14pt;
  font-weight: 400;
  color: #03075a;
  font-family: "ibm plex mono", monospace;
  background-color: white;
  
}


darktext {
  color: #03075a;
}

img {
    border-style: dashed;
    padding:2px;
    border-width: 2px;
    border-color: #ccc;
    border-radius: 15px;
}

/*
ul {
  list-style-type: none;
  height: 100%; 
  position: fixed; 
  overflow: auto; 
}

*/

.ibm-plex-mono-thin {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 100;
  font-style: normal;
}

.ibm-plex-mono-extralight {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 200;
  font-style: normal;
}

.ibm-plex-mono-light {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 300;
  font-style: normal;
}

.ibm-plex-mono-regular {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 400;
  font-style: normal;
}

.ibm-plex-mono-medium {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 500;
  font-style: normal;
}

.ibm-plex-mono-semibold {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 600;
  font-style: normal;
}

.ibm-plex-mono-bold {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 700;
  font-style: normal;
}

.ibm-plex-mono-thin-italic {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 100;
  font-style: italic;
}

.ibm-plex-mono-extralight-italic {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 200;
  font-style: italic;
}

.ibm-plex-mono-light-italic {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 300;
  font-style: italic;
}

.ibm-plex-mono-regular-italic {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 400;
  font-style: italic;
}

.ibm-plex-mono-medium-italic {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 500;
  font-style: italic;
}

.ibm-plex-mono-semibold-italic {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 600;
  font-style: italic;
}

.ibm-plex-mono-bold-italic {
  font-family: "IBM Plex Mono", monospace;
  font-weight: 700;
  font-style: italic;
}