body           {font-family: roman; color: black; background-color: white}
a              {color: #C70908; text-decoration: none}
li             {color: blue; text-decoration: none; margin-top: 5px}
ol li	       {color: #33BB11; text-decoration: none}
ol font.subtitle  {color:  #33BB11; font: 20pt sans-serif; font-weight: bold; height: 1em}
table.contents tr td {font-weight: bold; color: red; padding: 10px}
table.chapters tr td {padding: 10px}
div.header     {text-align: center; height: 15em}
div.section    {}
div.section ul {font-size: 14pt}
div.main       {}
div.footer     {font-size: x-small}
div.footer a   {color: #B70908; text-decoration: none}
div.icon       {float: right}
div.icon img   {height: 31px; width: 88px; border: 0}
div.project    {height: 20em}
div.project font.title  {color: #33BB11; font: 22pt sans-serif; font-weight: bold; height: 1em}
font.hilite    {color: #33BB11}
font.heading   {color: blue; font: 30pt sans-serif; font-weight: bold; height: 1.5em}
font.title     {color: blue; font: 22pt sans-serif; font-weight: bold; height: 1em}
font.subtitle  {color: blue; font: 20pt sans-serif; font-weight: bold; height: 1em}
font.point     {color: #FF0000; font-style: normal}
font.pubauthor {color: black; font-style: normal}
font.pubtitle  {color: blue; font-style: normal}
font.pubwhere  {color: black; font-style: italic}
font.pubpub    {color: black; font-style: normal}
li.talk font.pubpub    {color: #930F0E; font-style: normal}
font.pubfiles  {color: black; font-family: courier; font-size: xx-small; vertical-align: top}