body    {font-family: arial,sans-serif;
         background-color: #ffffee;
         margin: 0px 20px 20px 30px}
a       {color: green;
         text-decoration: none}
a:hover {text-decoration: underline}
h1      {font-size: xx-large;
         margin-left: -10px;
         border-style: solid;
         border-width: 2px 15px 2px 15px;
         padding-left: 2px;
         border-color: aa8800}
h2      {font-size: x-large;
         margin-left: -10px;
         padding-top: 2px; padding-bottom: 2px; padding-left: 5px;
         background-color: #ffeedd}
h3      {font-size: medium;
         padding-top: 2px; padding-bottom: 2px; padding-left: 5px;
         background-color: #ffffcc}
hr      {color: #ffffcc}
h3.new  {background-color: #ffff00}
td.new  {background-color: #ffff00}
span.new{color: red; font-weight: bold}
span.warn   {color: red}
.tool   {background-color: #ddffee}
.tool-title {width: 70%}