cite {font-style:normal}
span.person {font-variant: small-caps}

h1 {text-align: center}
h2 {text-align: center}

.boxnav {font-family: helvetica, arial, sans-serif; font-size: 80%; padding: 3px}
.boxnav span.cur {padding: 3px; border: thin solid #aeaeae}
.boxnav a {display: run-in; padding: 3px; border: thin solid #ffffff}
.boxnav a:hover {border: thin solid #c00000}


body {color: #000000; background: #fcfcf2}
a:link    {color: #e00000}
a:visited {color: #a00000}
a:active  {color: #ff0000}
a:hover   {color: #ff0000}


td.head {border-top: thin solid #eaeae0; border-bottom: thin solid #eaeae0;
  padding-top: 2px; padding-bottom: 2px;
  font-family: helvetica, arial, sans-serif; font-size: 80%}

/* h1 {text-align: left; font-family: helvetica, arial, sans-serif;
    font-size: larger}
h2 {font-family: helvetica,arial,sans-serif; color: #0e5b77;
    font-size: 100%}  */
/* h3 {font-family: helvetica, arial, sans-serif; font-size: 110%}  */
/* h4 {font-size: 100%}   */
/* h5 {font-weight: bold}  */
/* h6 {font-size: 80%;  font-weight: bold} */

p.indent {text-indent: 2em}
p.noindent {text-indent: 0em}
p.left {text-align: left}
p.right {text-align: right}
p.center {text-align: center}
blockquote p {margin-top: 0.8ex; margin-bottom: 0ex}
div.text {margin-left: 10%; margin-right: 10%}
div.text p {margin-top: 0.8ex; text-indent: 2em; margin-bottom: 0ex; text-align: justify}
div.text p.right {text-align: right}
div.text p.center {text-align: center}
div.text p.noindent {margin-top: 0.8ex; text-indent: 0em; margin-bottom: 0ex}

/* Note: Netscape has notoriously bad support for list style stuff.  */
ul.unmarked {list-style-type: none}

.smaller {font-size: smaller}

.nav {font-family: helvetica, arial, sans-serif; font-size: 80%}
.nav-small {font-family: helvetica, arial, sans-serif; font-size: 60%}
table.nav tr td {font-family: helvetica, arial, sans-serif; font-size: 80%}
table.nav tr th {font-family: helvetica, arial, sans-serif; font-size: 80%}
tr.nav th {font-family: helvetica, arial, sans-serif; font-size: 80%}
tr.nav td {font-family: helvetica, arial, sans-serif; font-size: 80%}
td.nav {font-family: helvetica, arial, sans-serif; font-size: 80%}
span.nav {font-family: helvetica, arial, sans-serif; font-size: 80%}
td span.nav {font-family: helvetica, arial, sans-serif; font-size: 80%}
th span.nav {font-family: helvetica, arial, sans-serif; font-size: 80%}
span.cur {font-weight: bold}
td span.nav span.cur {font-weight: bold}
th span.nav span.cur {font-weight: bold}


td img.block {display: block}



.cur {font-weight: bold}
td span.cur {font-weight: bold}
th span.cur {font-weight: bold}


.label {color: #0e5b77}

.title {color: #0e5b77; font-weight: bold}
table th.display-label {color: #0e5b77; border-bottom: thin solid #c0c0c0}
table th.column-label {font-weight: normal; color: #0e5b77; border-bottom: thin solid #c0c0c0}
table th.row-label {font-weight: normal; color: #0e5b77}


.time {color: #000000}


/* UNDER REVIEW:  */

.highlight {background: #f0f000; font-weight: bold}
span.highlight {background: #f0f000; 
  font-weight: bold}
.marked {color: #a00000; font-weight: bold}
span.marked {color: #a00000; font-weight: bold}

.dimmed {color: #aeaeae}
td.dimmed {color: #aeaeae}
span.dimmed {color: #aeaeae}
td span.dimmed {color: #aeaeae}

span.faint {color: #e0e0e0;}
span.faint a:link {color: #e0e0e0; text-decoration: none}
span.faint a:visited {color: #e0e0e0; text-decoration: none}
span.faint a:active {color: #e0e0e0; text-decoration: none}

div.footer td {font-family: helvetica, arial, sans-serif}
div.footer a:link {color: #c83030; text-decoration: none}
div.footer a:visited {color: #c83030; text-decoration: none}
div.footer a:active {color: #ff0000; text-decoration: none}


div.admin td {font-family: helvetica, arial, sans-serif; background: #f0f000}
div.admin a:link {color: #c83030; text-decoration: none}
div.admin a:visited {color: #c83030; text-decoration: none}
div.admin a:active {color: #ff0000; text-decoration: none}



span.AN {color: #000000; font-weight: bold}
span.AN a:link {color: #000000; text-decoration: none}
span.AN a:visited {color: #000000; text-decoration: none}
span.AN a:active {color: #000000; text-decoration: none}
span.AN span.cap {color: #c00000}
span.AN a span.cap {color: #c00000}

td span.AN {color: #000000; font-weight: bold}
td span.AN a:link {color: #000000; text-decoration: none}
td span.AN a:visited {color: #000000; text-decoration: none}
td span.AN a:active {color: #000000; text-decoration: none}
td span.AN span.cap {color: #c00000}
td span.AN a span.cap {color: #c00000}

/* Misc styles.  */
.code {color: #266666}
.inexample {color: #000080; background:#ffffff}
td.inexample {color: #000080; background:#ffffff}