/* external CSS file */

body {background-color: white}
p, ul, ol {font-family: serif; font-size: small;}
h1, h2, h3 {font-family: geneva helvetica arial verdana sans-serif; font-size: x-large; font-weight: bold; color: #004CBF; text-decoration: overline; padding-top: 1em;}
h2 {font-size: large;}
h3 {font-size: medium; font-weight: normal; font-style: italic;}
p tt, li tt {font-family: monaco courier 'Courier New' monospace; color: brown;}
pre {font-size: x-small; border: 1px solid black; padding-top: 0.5em; padding-bottom: 0.5em; padding-left: 0.5em;}
pre i {color: brown; font-style: normal;}
pre b {color: #004CBF; font-weight: normal;}
table.tip {border: 4px solid #FF6600;}
table.detail {border: 6px solid yellow;}
td.tip {background-color: #FF6600; text-align: center;}
td.detail {background-color: yellow; text-align: center;}
a.glossary {background-color: #FFFF00;}
div.table {padding-top: 0.5em; padding-bottom: 0.5em; padding-left: 0.5em; padding-right: 0.5em;}
em {font-style: normal; color: #004CBF;}
blockquote.letters {color: #004CBF;}
span.small {font-size: x-small;}