/* CSS is how you can add style to your website, such as colors, fonts, and positioning of your
   HTML content. To learn how to do something, just try searching Google for questions like
   "how to change link color." */
@font-face {
  font-family:"W95FA";
  src:url("/fonts/W95FA.otf");
  font-weight:normal;
  font-style:normal 
}
* {
  font-family:"W95FA";
  line-height:1.3em;
  tab-size:4
}
html {
  background-image:radial-gradient(circle, #060945, #10134f);
  color:#ffc82d;
}
footer,
#site_header {
  text-align:center;
}
#site_header {
  border-bottom:1px solid #ffc82d
}
.banner-image {
  margin:16px;
  max-height:144px
}
body {
  width:100%;
  max-width:1250px;
  min-height:100%;
  margin:0 auto;
  background-color:rgb(6 9 69 / 50%);
  box-shadow:0 0 30vw #040404,0 0 32px #000
}
/* Navbar alignment buffer */
.topnav {
  display:flex;
  overflow: hidden
}
/* Style the links inside the navigation bar */
.topnav a {
  background:linear-gradient(#1a1d59, #060945);
  color:#c0c0c0;
  text-align:center;
  font-size:18px;
  padding:7px 16px;
  border:1px solid #ffc82d;
  border-bottom-style:none;
  text-decoration: none
}
/* Change the color of links on hover */
.topnav a:hover {
  background:linear-gradient(#242763, #060945);
  color:#e0e0e0;
}
/* Add a color to the active/current link */
.topnav .active {
  background:linear-gradient(#2e316d, #060945);
  color:white;
  font-weight:bold;
  padding:7px 16px;
  border-radius:15px 15px 0px 0px
}
footer {
  padding-top:5px;
  border-top:1px solid #ffc82d;
  margin-bottom:5px 
}
#content {
  max-width:1000px;
  margin-left:auto;
  margin-right:auto;
  padding-top:2em;
  padding-bottom:2em;
  counter-reset:footnotes
}