body {
  font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
}
pre {
  border: thin solid #8888aa;
  margin: 1em 4em 1em 0em;
  background-color: #f7f8ff;
  color: #000000;
}
code {
  //border: thin solid #8888aa;
  background-color: #f7f8ff;
  color: #000000;
}
.tag-1 {
  font-size: 13pt;
}
.tag-2 {
  font-size: 10pt;
}
.tag-2 {
  font-size: 8pt;
}
.tag-4 {
  font-size: 6pt;
}


h1, .h1,
h2, .h2,
h3, .h3,
h4, .h4,
h5, .h5,
h6, .h6 {
  margin-top: 0;
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-weight: normal;
  color: #333;
}

/*
 * Blog name and description
 */

.blog-header {
  padding-top: 20px;
  padding-bottom: 20px;
}
.blog-title {
  margin-top: 0;
  margin-bottom: 0;
  font-size: 60px;
  font-weight: normal;
}
.blog-description {
  font-size: 20px;
  color: #999;
}

/*
 * Blog posts
 */

.blog-post {
  margin-bottom: 60px;
}
.blog-post-title {
  margin-bottom: 5px;
  font-size: 40px;
}
.blog-post-meta {
  margin-bottom: 20px;
  color: #999;
}
/*
 * Footer
 */

.blog-footer {
  padding: 40px 0;
  color: #999;
  text-align: center;
  background-color: #f9f9f9;
  border-top: 1px solid #e5e5e5;
}
.blog-footer p:last-child {
  margin-bottom: 0;
}