body
{ 
  background-color: #dddddd;
  color: #000000;
  padding: 8px;
  margin: 0px;
}
div.title
{
  text-align: center;
  font-weight: bold;
  font-size: 28px;
}
div.emph
{
  text-align: left;
  font-weight: bold;
}
div.section li.title
{
  font-weight: bold;
  font-size: 22px;
}
div.section li.subtitle
{
  font-weight: bold;
  font-size: 18px;
}
div.section li.subsubtitle
{
  font-weight: bold;
  font-size: 16px;
}
div.comp
{
  border: thin solid #000000;
  background-color: #ffffe0;
  padding: 14px;
}
div.comp div.title
{
  font-weight: bold;
  font-size: 16px;
  text-align: center;
}
div.comp div.xlib
{
  font-family: monospace;
  position: absolute;
  width: 49%;
  margin-left: 0px; 
  margin-top: 10px;
}
div.comp div.xcb
{
  font-family: monospace;
  position: relative;
  margin-left: 51%;
  margin-top: 10px;
}
pre.code
{
  border: thin solid #000000;
  background-color: #efefef;
  padding: 4px;
  text-align: left;
  font-size: 10;
}
pre.text
{
  border: thin solid #000000;
  background-color: #efefef;
  padding: 4px;
  text-align: left;
  font-size: 10;
}
span.code
{
  font-family: monospace;
  font-size: 10;
}