body{
  line-height:1.8em;
}
article{
  margin:auto;
  max-width:1024px;
}
footer{
  background:#eee;
  margin:-8px;
  margin-top:0;
  padding:20px;
  text-align:center;
}
header{
  background:#efc;
  margin-top:-8px;
  padding:20px;
}
header time{
  font-size:small;
}
header .datetime{
  font-size:small;
}
header .datetime.publicated:before{
  content:"公開日:";
}
header .datetime.modified:before{
  content:"更新日:";
}
h3{
  padding:10px;
  border-left:5px solid #ad2;
  border-bottom:1px solid #ad2;
}
p{
  text-indent:1em;
}
dfn{
  font-weight:bold;
}
em{
  border-bottom:3px solid #fc2;
}
.formula{
  border-radius:0.5em;
  padding:1em;
}
.formula figcaption{
  font-size:larger;
  font-weight:bold;
}
.faq{
  background:#eef;
  border:1px solid #008;
}
.faq figcaption{
  padding-bottom:0.5em;
  border-bottom:1px solid #008;
  margin-bottom:0.5em;
}
.def{
  border:1px dashed #000;
}
.def figcaption{
  padding-bottom:0.5em;
  border-bottom:1px dashed #000;
  margin-bottom:0.5em;
}
.proof{
  background:#efe;
  padding:1em;
}
.code{
  position:relative;
  background:#444;
  color:#fff;
  line-height:1.4em;
  padding:1em;
}
.code pre{
  margin:0;
}
.code figcaption{
  position:absolute;
  top:0;
  padding:2px 1em;
  background:#666;
  color:#fff;
}
code,.monospace{
  font-family:SFMono-Regular,Consolas,Liberation Mono,Menlo,Courier,monospace;
}
*:not(pre)>code{
  background:#dde;
  border:1px solid #aaa;
  padding:1px 3px;
}
table{
  border-collapse:collapse;
}
th,td{
  padding-left:5px;
  padding-right:5px;
}
.numbertable{
  text-align:center;
}
.numbertable table{
  margin-left:auto;
  margin-right:auto;
}
.numbertable td{
  text-align:right;
}
.numbertable .style1 tr{
  border-top:1px solid #314;
}
.numbertable .style1 tr:first-child,
.numbertable .style1 .border-top-bold{
  border-top:2px solid #314;
}
.numbertable .style1 tr:last-child,
.numbertable .style1 .border-bottom-bold{
  border-bottom:2px solid #314;
}
.numbertable .style1 th{
  background:#def;
}
.numbertable .style1 th,
.numbertable .style1 td{
  padding-left:1em;
  padding-right:1em;
}
.numbertable .style1 .good{
  background:#ffb;
  color:#00f;
}
.numbertable .style1 .bad{
  background:#ddd;
  color:#f00;
}
.numbertable .style1 .disabled{
  background:#ccc;
}
.numbertable .style1 .tategaki-one-line{
  width:1em;
}
a.notes{
  font-size:small;
  vertical-align:super;
}
aside.notes{
  border-top:1px dashed #314;
  line-height:1.3em;
}
aside.notes small{
  display:block;
}
figure.gallery{
  background:#eee;
  text-align:center;
}
figure.gallery>figcaption{
  font-size:larger;
  padding-top:1em;
}
figure.gallery figure{
  display:inline-block;
  margin:16px;
  font-size:smaller;
}
figure.gallery img{
  max-width:100%;
}
#index h1{
  font-size:xx-large;
}
#index h2{
  margin-top:2em;
  border:2px dashed #ad2;
  padding:16px;
  background:#efc;
}
nav.mokuji{
  display:inline-block;
  background:#efc;
}
#mokuji{
  padding-right:2em;
}
#mokuji:before{
  content:'目次';
  font-weight:bold;
}