body
{
  margin-left           : 160px;
  background-image      : url(../../images/borders/C++.gif);
  background-repeat     : repeat-y;
  background-position   : top left;
  text-align            : justify;
}
h3
{
  margin-left:-30px;
  margin-top: 1px;
  margin-bottom: 1px;
  padding-left:10px;
  padding-top:0px;
  padding-bottom:0px;
  border:0px;
  border-top: 2px solid black;
  border-bottom: 2px solid black;
  color: black;
  background-color: inherit;
}
table th
{
  border: solid 1px black ;
  padding-left: 10px;
}
table td
{
  vertical-align: top;
}

table.comparison
{
  width:100%;
}
table.comparison td
{
  vertical-align: top;
}
table.code
{
  margin-bottom: 10px;
}
table.code tr.emph td
{
  background-color: #CCFF99;
}
td.bad table.code
{
  background-color: #FFB8B9;
}
pre.result
{
  margin-left: 0px;
  font-size: 12px;
  font-style: normal;
  text-decoration: none;
  font-family: monospace;
}
div.theorem
{
  border: 1px solid black;
  margin-left: 10%;
  margin-right: 10%;
  padding: 5px;;
}
table.digraph
{
  border-collapse: collapse;
}
table.digraph tr:first-child
{
  border-bottom: 1px solid black;
}
table.digraph td
{
  font-family : fixed;
  padding: 5px;
  border-left: 1px solid black;
}
table.digraph th
{
  padding: 5px;
}
table.macros
{
  border-collapse:collapse;
  width:80%;
}
table.macros td
{
  padding-left: 10px;
  padding-right: 10px;
}
table.macros td.macro
{
  font-family: fixed;
}
table.macros td.macro:first-child
{
  border-right : 2px solid black;
}
table.macros tr
{
  border-top: 2px solid black;
}
table.macros tr:first-child
{
  border-top: 0px;
}