body {
  background-color: #fff;
  color: #000;
  font-size: 11pt;
  margin-left: auto;
  margin-right: auto;
  margin-top: 0;
  margin-bottom: 0;
  max-width: 615px;
  overflow-y: scroll;
  font-family: sans-serif;
  text-align: justify;
}
h1, h2, h3 {
  margin-top: 0;
  margin-bottom: 0;
}
h1 {
  font-size: 16pt;
}
h2 {
  font-size: 13pt;
}
h3 {
  font-size: 11pt;
}
header {
  margin-top: 20px;
  margin-bottom: 0;
}
section {
  margin-top: 10px;
  margin-bottom: 10px;
}
header, section, label {
  padding-left: 10px;
  padding-right: 10px;
}
p {
  margin-top: 10px;
  margin-bottom: 10px;
}
p:first-child {
  margin-top: 0;
}
p:last-child {
  margin-bottom: 0;
}
th {
  font-weight: normal;
  font-style: italic;
}
header, section {
  padding-top: 10px;
  padding-bottom: 10px;
  text-align: justify;
}
header {
  background-color: #bdf;
  color: #007;
}
section {
  background-color: #ffc;
}
.entry {
  background-color: #dfd;
}
.author, .category, .updated {
  font-size: 8pt;
}
.category, .updated, .extern {
  color: #aaa;
}
.extern {
  padding-left: 10px;
}
.updated {
  float: right;
}
a {
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}
footer {
  position: absolute;
  left: 0;
  top: 0;
  padding: 5px;
}
.remark {
  font-style: italic;
}
.quotation {
  padding-left: 32px;
  color: #666;
}
pre {
  font-size: 8pt;
  padding: 1em;
  border: 1px dotted #007;
  background-color: #fff;
  overflow-y: auto;
}
table {
  border-collapse: separate;
  border-spacing: 1em 10px;
  margin: -10px -1em;
}
td {
  vertical-align: top;
}
body > span {
  display: none;
}
body > a {
  padding-top: 5px;
  padding-bottom: 5px;
  margin-top: 5px;
  margin-bottom: 0;
  width: 150px;
  text-align: center;
  font-weight: bold;
  display: inline-block;
  background-color: #bdf;
  color: #007;
}
body > a.all {
  width: 100%;
  padding-left: 0;
  padding-right: 0;
  margin-bottom: 5px;
}
body > a:hover {
  color: #bdf;
  background-color: #00f;
  text-decoration: none;
}
body > span:target + a, body > a.all {
  color: #bdf;
  background-color: #007;
}
body > span:target ~ a.all {
  color: #007;
  background-color: #bdf;
}
body > span:target ~ a.all:hover {
  color: #bdf;
  background-color: #00f;
}
body > span:target ~ section.categorized {
  display: none;
}