body       {
  line-height: 1.2;
}
a          {
  text-decoration: underline;
}
a.label    {
  text-decoration: none;
}
h1         {
  padding: 0.5em 1em 1em 1.5em;
  text-align: right;
}
h2         {
  padding: 0.5em 1em 0.5em 1em;
  margin: 1em 0 1em 0;
  border-style: solid solid solid solid;
  border-width: 2px 10px 2px 10px;
}
p          {
  text-indent: 1em;
}
div.book   {
  text-align: right;
  font-weight: bold;
}
div.figure {
  text-indent: 0;
  text-align: center;
}
div.back   {
  margin: 1em 0 1em 0;
  text-indent: 0;
  text-align: right;
}
div.header {
  margin: 0 0 0.5em 0;
  text-align: center;
  font-weight: bold;
}
div.caption {
  text-align: center;
  font-weight: bold;
  margin-bottom: 1em;
}
div.assign {
  text-indent: -2em;
  margin: 1em 0 1em 2em;
}
blockquote, dl, pre.source {
  margin-left: 5%;
  margin-right: 5%;
}
blockquote {
  padding: 0.5em 1em 0.5em 1em;
  border-width: 1px 1px 1px 1px;
  border-style: solid solid solid solid;
}
dt         {
  margin-top: 0.5em;
  font-style: normal;
  font-weight: bold;
}
li         {
  margin-top: 0.2em;
}
table      {
  margin-left: 5%;
  width: 90%;
}
td.figure  {
  background-color: #ddeeff;
}
td.action  {
  background-color: #ffffff;
  vertical-align: top;
  font-family: monospace;
}
pre        {
  background-color: #ffffff;
}
pre.source {
  padding: 0.5em 1em 0.5em 1em;
  border-width: 1px 1px 1px 1px;
  border-style: solid solid solid solid;
}
em         {
  font-style: normal;
  font-weight: bold;
}
strong     {
  font-style: normal;
  font-weight: bold;
}
kbd        {
  color: #007f00;
  font-family: sans-serif;
  font-weight: bold;
}
span.anon  {
  color: #ff3f00;
}
span.select{
  background-color: #c0c0c0;
}
code.tag   {
  font-family: monospace;
}
.red       {
  color: #ff0000;
}
.green     {
  color: #00ff00;
}
.blue      {
  color: #0000ff;
}
.orange    {
  color: #ff4000;
}
.bgwhite   {
  background-color: #ffffff;
}
.bggray    {
  background-color: #cccccc;
}