body {
  font-family: serif;
  font-size: 17px;
  line-height: 2.8em;
  padding-top: 10px;
  padding-bottom: 10px;
  background-color: white;
  padding: 30px;
}
body > *:first-child {
  margin-top: 0 !important;
}
body > *:last-child {
  margin-bottom: 0 !important;
}
a {
  background-color: transparent;
  color: #4183C4;
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}
h1, h2, h3, h4, h5, h6 {
  margin: 20px 0 10px;
  padding: 0;
  font-weight: bold;
  position: relative;
  text-align: left;
}
h1 {
  font-size: 24px;
}
h2 {
  font-size: 22px;
  border-bottom: 1px solid #ccc;
}
h3 {
  font-size: 20px;
}
h4 {
  font-size: 17px;
}
h5 {
  font-size: 17px;
}
h6 {
  font-size: 17px;
}
img {
  border-style: none;
  max-width: 100%;
}
code, tt, kbd, pre {
  font-family: monospace;
  font-size: 16px;
  line-height: 1.5em;
}
hr {
  border: 0 none;
  border-bottom: 2px solid #eee;
  color: #ccc;
}
blockquote {
  padding: 0 1em;
  border-left: 0.25em solid #dfe2e5;
}
blockquote>:first-child {
  margin-top: 0;
}
blockquote>:last-child {
  margin-bottom: 0;
}
table {
  border-spacing: 0;
  border-collapse: collapse;
  display: block;
  width: 100%;
  overflow: auto;
}
table th, table td {
  padding: 6px 13px;
  border: 1px solid #dfe2e5;
}
table tr {
  background-color: #fff;
}
table tr:nth-child(2n) {
  background-color: #f6f8fa;
}
p {
  margin: 0;
}
blockquote, ul, ol, dl, table, pre {
  margin: 1em 0;
}
h1 + p, h2 + p, h3 + p, h4 + p, h5 + p, h6 + p {
  margin-top: 0;
}
ul, ol {
  padding-left: 2em;
  margin-top: 1em;
  margin-bottom: 1em;
}
li > ul, li > ol {
  margin-top: 0em;
  margin-bottom: 0em;
}

ul :first-child, ol :first-child {
  margin-top: 0;
}
ul :last-child, ol :last-child {
  margin-bottom: 0;
}
pre {
  margin: 0.5em 0;
  padding: 1em;
  background-color: #f6f8fa;
  border: 1px solid #ccc;
  border-radius: 3px;
  text-align: left;
  overflow: auto;
}
code {
  margin: 0;
  padding: 0;
  border: 1px solid #ccc;
  border-radius: 3px;
  word-wrap: normal;
  text-align: left;
}
pre > code {
  word-break: normal;
  white-space: pre;
  background: transparent;
  border: 0;
}
pre code {
  display: inline;
  overflow: visible;
  word-wrap: normal;
  background-color: transparent;
  border: 0;
}
.highlight {
  margin-bottom: 16px;
}
.highlight pre {
  margin-bottom: 0;
  word-break: normal;
  padding: 1em;
  background-color: #f6f8fa;
  border-radius: 3px;
}
kbd {
  display: inline-block;
  padding: 3px 5px;
  line-height: 10px;
  color: #444d56;
  vertical-align: middle;
  background-color: #fafbfc;
  border: solid 1px #d1d5da;
  border-bottom-color: #c6cbd1;
  border-radius: 3px;
}
dd {
  margin-left: 0;
}
dl {
  padding: 0;
}
dl dt {
  padding: 0;
  margin-top: 1em;
  font-size: 1em;
  font-style: italic;
  font-weight: 600;
}
dl dd {
  padding: 0 1em;
  margin-bottom: 1em;
}
em {
  font-style: normal;
  font-size: smaller;
  color: #333;
}
img + em {
  display: block;
  color: black;
  text-indent: 2em;
  font-family: sans-serif;
  font-size: smaller;
  font-style: normal;
}
body {
  text-align: justify;
  max-width: 720px;
}
h1, h2, h3, h4, h5, h6, strong, th {
  font-family: sans-serif;
}
a {
  font-weight: bolder;
  text-decoration: none;
}
nav a {
  height: 10em;
  width: 1.5em;
  text-align: center;
  background-color: #4183C4;
  color: white;
  line-height: 10em;
}
nav a:hover {
  text-decoration: none;
}
#nav-prev {
  position: fixed;
  top: 40%;
  left: 0;
}
#nav-next {
  position: fixed;
  top: 40%;
  right: 0;
}
main {
  display: block;
  overflow-x: hidden;
  -webkit-text-size-adjust: 100%;
}
main > :first-child {
  margin-top: 0 !important;
}
main > *:last-child {
  margin-bottom: 0 !important;
}
footer {
  margin-top: 2em;
  text-align: right;
  font-size: smaller;
}
.twitter {
  border: 2px #00aced solid;
  border-radius: 24px;
  padding: 4px;
  width: 490px;
  max-width: 95%;
}

@media screen and (max-width: 360px) {
  body {
    font-size: 10.5pt;
  }
}

@media print {
  body {
    font-size: 10.5pt;
  }
  #nav-prev, #nav-next {
    display: none;
  }
}

body:lang(ja), a:lang(ja) {
  font-family: 'Noto Sans JP', serif;
}
img + em:lang(ja), h1:lang(ja), h2:lang(ja), h3:lang(ja), h4:lang(ja), h5:lang(ja), h6:lang(ja), strong:lang(ja), th:lang(ja) {
  font-family: 'Noto Serif JP' sans-serif;
}