@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: 30px;
  padding-bottom: 25px;
}
.navbar a {
  padding-left: 40px;
  padding-right: 40px;
}
.navbar :hover {
  text-decoration: underline;
}
.banner {
  height: 530px;
}
.footer {
  margin-top: 50px;
  text-align: center;
}
.footer a {
  text-decoration: none;
  padding-right: 20px;
  padding-left: 20px;
}
.footer::before {
  content: '---';
}
.footer::after {
  content: '---';
}
.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%;
}
.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;
}