@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 {
  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: 20px;
  text-align: center;
}
.footer a {
  text-decoration: none;
  padding-right: 20px;
  padding-left: 20px;
}
#break-footer {
  width: 20%;
}
.banner-img {
  width: 100%;
  border: solid;
  border-width: 1px;
}
#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 p a {
  color: #737373;
}
.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%;
}