@font-face {
  font-family: happy;
  src: url('/theme/css/fonts/Happy-Times-at-the-IKOB-master/fonts/webfonts/happy-times-NG_regular_master_web.ttf');
}
* {
  background-color: white;
  font-family: 'happy';
}
a {
  color: #737373;
  text-decoration: none;
}
a::hover {
  text-decoration: underline;
}
h1 > a,
h2 > a,
h3 > a,
h4 > a {
  color: black;
}
.navbar > a {
  text-decoration: none;
  color: black;
}
.navbar {
  font-size: 1.5em;
  width: 100%;
  height: 10px;
  background-color: white;
  margin-top: 10px;
  padding-bottom: 25px;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
.navbar a {
  padding-left: 40px;
  padding-right: 40px;
}
.navbar :hover {
  text-decoration: underline;
}
.footer {
  margin-top: 50px;
  margin-bottom: 30px;
  text-align: center;
}
.footer a {
  text-decoration: none;
  padding-right: 20px;
  padding-left: 20px;
}
#break-footer {
  width: 20%;
}
.banner-img {
  width: 100%;
  height: 300px;
  object-fit: cover;
}
#rss-logo {
  width: 20px;
  height: 20px;
}
#git-logo {
  width: 20px;
  height: 20px;
}
.content {
  margin-top: 50px;
  margin-left: 15%;
  max-width: 60%;
  font-size: 1.2em;
}
.content a:hover {
  text-decoration: underline;
}
.article-anchor {
  padding-left: 10px;
  padding-right: 10px;
}
.title-block {
  text-align: left;
}
code {
  background-color: #cccccc;
  font-style: italic;
}
blockquote {
  margin-left: 40px;
  font-style: italic;
  font-size: 1em;
}
@media print {
  .banner {
    visibility: hidden;
  }
  .navbar {
    visibility: hidden;
  }
}
.paginator {
  text-align: center;
}
.page_numbers {
  padding: 20px;
}
.content > div > p > img {
  border: solid 1px;
}
.subsection-banner {
  width: 100%;
}
.monospace-this p {
  font-family: Courier, monospace;
  line-height: 1;
  letter-spacing: 1em;
}
.monospace-this hr {
  width: 20%;
  margin: 2em 0 2em;
}