@charset "UTF-8";
body {
  font-family: "Helvetica Neue", Helvetica, "ヒラギノ角ゴ ProN W3", "Hiragino Kaku Gothic ProN", "メイリオ", Meiryo, "IPA Pゴシック", "IPA PGothic", sans-serif;
  color: #333; }
  body > header > h1 {
    text-align: center;
    font-weight: 500;
    font-size: 150%; }
    body > header > h1 > a {
      color: #333;
      text-decoration: none; }
      body > header > h1 > a:hover {
        text-decoration: underline; }
  body > article h1 > .heading-anchor, body > article h2 > .heading-anchor, body > article h3 > .heading-anchor, body > article h4 > .heading-anchor, body > article h5 > .heading-anchor, body > article h6 > .heading-anchor {
    text-decoration: none; }
    body > article h1 > .heading-anchor:after, body > article h2 > .heading-anchor:after, body > article h3 > .heading-anchor:after, body > article h4 > .heading-anchor:after, body > article h5 > .heading-anchor:after, body > article h6 > .heading-anchor:after {
      content: " \00A7";
      color: #333;
      font-weight: 300;
      opacity: 0;
      transition: opacity 0.1s ease-out; }
  body > article h1:hover > .heading-anchor:after, body > article h2:hover > .heading-anchor:after, body > article h3:hover > .heading-anchor:after, body > article h4:hover > .heading-anchor:after, body > article h5:hover > .heading-anchor:after, body > article h6:hover > .heading-anchor:after {
    opacity: 1; }
  body > article blockquote {
    border-left: solid 3px #ccc;
    margin: 0 20px;
    padding: 1px 10px;
    font-style: oblique; }
  body > footer {
    text-align: right;
    font-size: small; }

/**
 * Syntax highlighting styles
 */
.highlight .c {
  color: #998;
  font-style: italic; }
.highlight .k {
  font-weight: bold; }
.highlight .o {
  font-weight: bold; }
.highlight .cm {
  color: #998;
  font-style: italic; }
.highlight .cp {
  color: #999;
  font-weight: bold; }
.highlight .c1 {
  color: #998;
  font-style: italic; }
.highlight .cs {
  color: #999;
  font-weight: bold;
  font-style: italic; }
.highlight .gd {
  color: #000;
  background-color: #fdd; }
.highlight .gd .x {
  color: #000;
  background-color: #faa; }
.highlight .ge {
  font-style: italic; }
.highlight .gr {
  color: #a00; }
.highlight .gh {
  color: #999; }
.highlight .gi {
  color: #000;
  background-color: #dfd; }
.highlight .gi .x {
  color: #000;
  background-color: #afa; }
.highlight .go {
  color: #888; }
.highlight .gp {
  color: #555; }
.highlight .gs {
  font-weight: bold; }
.highlight .gu {
  color: #aaa; }
.highlight .gt {
  color: #a00; }
.highlight .kc {
  font-weight: bold; }
.highlight .kd {
  font-weight: bold; }
.highlight .kp {
  font-weight: bold; }
.highlight .kr {
  font-weight: bold; }
.highlight .kt {
  color: #458;
  font-weight: bold; }
.highlight .m {
  color: #099; }
.highlight .s {
  color: #d14; }
.highlight .na {
  color: #008080; }
.highlight .nb {
  color: #0086B3; }
.highlight .nc {
  color: #458;
  font-weight: bold; }
.highlight .no {
  color: #008080; }
.highlight .ni {
  color: #800080; }
.highlight .ne {
  color: #900;
  font-weight: bold; }
.highlight .nf {
  color: #900;
  font-weight: bold; }
.highlight .nn {
  color: #555; }
.highlight .nt {
  color: #000080; }
.highlight .nv {
  color: #008080; }
.highlight .ow {
  font-weight: bold; }
.highlight .w {
  color: #bbb; }
.highlight .mf {
  color: #099; }
.highlight .mh {
  color: #099; }
.highlight .mi {
  color: #099; }
.highlight .mo {
  color: #099; }
.highlight .sb {
  color: #d14; }
.highlight .sc {
  color: #d14; }
.highlight .sd {
  color: #d14; }
.highlight .s2 {
  color: #d14; }
.highlight .se {
  color: #d14; }
.highlight .sh {
  color: #d14; }
.highlight .si {
  color: #d14; }
.highlight .sx {
  color: #d14; }
.highlight .sr {
  color: #009926; }
.highlight .s1 {
  color: #d14; }
.highlight .ss {
  color: #990073; }
.highlight .bp {
  color: #999; }
.highlight .vc {
  color: #008080; }
.highlight .vg {
  color: #008080; }
.highlight .vi {
  color: #008080; }
.highlight .il {
  color: #099; }

body > article pre {
  background-color: #eee; }
  body > article pre > code {
    display: block;
    font-size: 90%; }
body > article code {
  font-family: Consolas, "Liberation Mono", Menlo, Courier, "IPAゴシック", "IPAGothic",  monospace;
  background-color: #eee;
  padding: 1pt 3pt; }