body {font-family: Arial, Helvetica, sans-serif; font-size: 12pt; background-color: white; color: black; margin-top: 0;}
th   {font-weight: bold; background-color: #cc99ff; color: black; padding: 6pt;}
td   {padding: 6pt}
td.definition  {background-color: #ccccff; color: black; }
td.example  {background-color: #cccccc; color: black; }
p.smallprint {font-size: 8pt;}
p.summary {background-color: #ccccff; color: black; padding: 12pt; }
p.example {background-color: #cccccc; padding: 12pt;}
pre.example {background-color: #cccccc; padding: 12pt;}
hr {page-break-before: always;}
table {border-style: solid; border-color:black;}
table.annotatedcode {width:100%;}
table.annotatedcode th {width: 50%; vertical-align: middle; background-color: #ccccff; color: black; padding: 12pt; font-weight: normal; text-align: left;}
table.annotatedcode td {width: 50%; vertical-align: middle; background-color: white; color: black; padding: 12pt; font-weight: normal; font-family: monospace; text-align: left;}
dt {font-weight: bold;}

a {background-color: white;}
a:link    {  font-family: Arial, Helvetica, sans-serif; text-decoration: none; color: blue;}
a:visited {  font-family: Arial, Helvetica, sans-serif; text-decoration: none; color: navy;}
a:hover   {  font-family: Arial, Helvetica, sans-serif; text-decoration: none; color: red;}
a.nav {font-size: 8pt; background-color: #ccccff; padding: 2pt}
a.nav:hover {background-color: #cc99ff; padding: 2pt}
span.navselected {font-size: 8pt; background-color: #cc99ff; padding: 2pt; font-weight: bold;}
input {font-family: Arial, Helvetica, sans-serif; font-size: 10pt;}
textarea {font-family: Arial, Helvetica, sans-serif;font-size: 10pt; width: 500px;}