body {
  margin: 12px;
  border: solid 1px #6f6f6f;
  -moz-border-radius: 12px;
  padding: 16px;
  max-width: 800px;
  text-align: justify;
  background-color: #fcfcfc;
  color: #2f2f2f;
}
h1 {
  margin-top: 0em;
  font-size: 1.44em; color: #4f4f4f;
}
h2 {
  margin-top: 1.2em;
  font-size: 1.2em; color: #4f4f4f;
  margin-bottom: 0em;
}
div.abstract {
  margin-left: 1.44em;
  margin-right: 80px;
  max-width: 600px;
  color: #606060;
}
p.notice {
  padding: 0.2em 0.5em;
  background-color: #ffc;
}
blockquote {
  margin-left: 1.73em;
  margin-right: 1.73em;
}
pre {
  margin-left: 1.73em;
  margin-right: 1.73em;
}
ul {
  margin-left: 1.73em;
  margin-right: 1.73em;
  padding-left: 0em;
  padding-right: 0em;
  list-style-type: circle;
}
dd {
  margin-left: 1.73em;
  margin-right: 1.73em;
}
dd + dt {
  margin-top: 1.2em;
}
img {
  border: none;
}
img.icon {
  float: right;
  margin-top: -8px;
  margin-right: -8px;
}
p {
  margin-top: 0.83em;
}
p.attr {
  margin-top: 0em;
  color: #6f6f6f;
  font-size: 0.83em;
}
a {
  color: #2f2f6f;
}
h2 a {
  text-decoration: none;
}
div.credits {
  margin-top: 3.6em;
  text-align: center;
  color: #6f6f6f;
  font-size: 0.83em;
}
div.credits p {
  margin: 0em;
}