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: x-large;
         margin-left: -10px;
         border-style: solid;
         border-width: 2px 15px 2px 15px;
         padding-left: 2px;
         border-color: #0088aa}
h2      {font-size: medium;
         margin-left: -10px;
         padding-top: 2px; padding-bottom: 2px; padding-left: 5px;
         background-color: #ddeeff}
div.ver {font-size: medium;
         font-family: arial, sans;
         font-weight: bold;
         color: blue;
         padding-top: 10px}
td.new  {background-color: #ffff00}
span.new{color: red; font-weight: bold}
.tool   {background-color: #ddffee}
.tool-title {width: 70%}
.warn   {color: red}
.warn2  {color: black;
         background-color: yellow}