  /* close PHP before emitting CSS tokens */

/* --- Expose computed colors as CSS variables for green.css to reuse --- */
:root{
  --page-bg: #fffffd;
  --text-green: #004444;
  --link-green: #7cffb3; /* accent for links in green mode */
}

/* ---------------- Base CSS ---------------- */

body {
  margin: 0;
  font-family: "Courier New", "Courier", Helvetica, Sans-Serif;
  color: #004444;
  background: #fffffd;
  font-size: 80%;
}

div, p, th, td, dd, dl, dt {
  font-family: "Courier New", Helvetica, Sans-Serif;
}

ul { margin-left: 1.1em; }

a { text-decoration: none; font-weight: bold; }
a:link    { color: #00b0b0; background-color: transparent; }
a:visited { color: #FF6C22; background-color: transparent; }
a:active  { color: #00b0b0; background-color: transparent; }
a:hover   { cursor: crosshair; color: #FF6C22; background-color: transparent; text-decoration: none; }

dt { font-weight: bold; }
ol, li, dl, dt, dd { line-height: 1.5em; }

#content { padding: 7em 6em 2em 21%; margin: 0; border: 0; }

p { padding: 0; font-size: 1.0em; line-height: 150%; }

h1 {
  font-size: 5.0em;
  font-weight: normal;
  margin-top: 0em;
  margin-bottom: 0em;
  color: #008098;
}
h2 {
  font-size: 2em;
  margin: 1.2em 0 1.2em 0;
  font-weight: bold;
  font-family: Garamond;
  color: #00b0b0;
}
h3 {
  font-size: 1.5em;
  margin: 1.2em 0 1.2em 0;
  font-weight: bold;
  color: #004F61;
}
h4 { font-size: 1.2em; margin: 1.2em 0; font-weight: bold; color: #719B6E; }
h5 { font-size: 1.0em; margin: 1.2em 0; font-weight: bold; color: #719B6E; }
h6 { font-size: 0.8em; margin: 1.2em 0; font-weight: bold; color: #617c58; }

.first { margin-top: 0; padding-top: 0; }
h1, h2, h3, h4, h5, h6 {
  font-family: "Courier New", Courier, sans-serif;
  font-weight: normal;
  background-color: transparent;
  margin: 0;
}

img { border: 0; }

.vs0 { margin-top: 0; padding-top: 0; }
.ahem { display: none; }

code, tt, pre {
  font: 12px "andale mono", monaco, courier, "courier new", monospace;
  color: #06c;
  background: transparent;
}

#footer, .marginalia {
  font: 10px geneva, verdana, helvetica, sans-serif;
  margin-top: 10px;
  padding-top: 10px;
  border-top: 1px dotted #333333;
}

.libnavt { border-bottom: solid 1px #fff; }
.libnavb { border-bottom: solid 1px #ccc; border-top: solid 1px #ccc; }
.small { font-size: 11px; }

.white { color: #fff; background-color: #699; }

.choicesbox {
  margin-top: 10px;
  padding: 3px 5px 5px 10px;
  color: #fff;
  background-color: #699;
  border: 1px dotted #366;
}
.choicesbox2 {
  margin-top: 10px;
  padding: 3px 5px 5px 10px;
  color: #000;
  background-color: #fff;
  border: 1px dotted #366;
}
.choicesbox a:link { color: #000; }
.choicesbox a:visited { color: #333; }
.choicesbox a:active, .choicesbox a:hover { color: #fff; }

.subnav {
  font: bold 14px/1.5em palatino, georgia, times, "times new roman", serif;
  color: #999;
  text-align: center;
}
.caption { font: 10px geneva, verdana, sans-serif; color: #366; background-color: transparent; }

.fineprint {
  font: 10px geneva, verdana, sans-serif;
  color: #000;
  background-color: #fff;
  padding: 5px 3px 7px 3px;
  border: 0;
  margin-bottom: 30px;
  text-align: center;
}

.courier { font: 90% "Courier New", Courier, monospace; }

.tableindex {
  padding: 0 3em 1em 0; /* ie top left right bottom */
  margin: 0;
  border: 0;
  font-size: 1.0em;
  line-height: 150%;
  vertical-align: top;
  text-align: right;
}

.menu {
  padding: 0 0 1em 0; /* ie top left right bottom */
  margin-left: 10px; /* margin/padding here may be overridden by table layout */
  border: 0;
  font-size: 1.0em;
  line-height: 150%;
  vertical-align: top;
  text-align: left;
}

.menuitem {
  text-indent: -12px;
  margin-left: 12px; /* indent text subsequent to first line */
}

.main {
  padding: 0 1em;
  margin: 0;
  border: 0;
  line-height: 150%;
  vertical-align: top;
  text-align: right;
}

.library {
  padding: 0 1em;
  margin: 0;
  border: 0;
  line-height: 150%;
  vertical-align: top;
  text-align: left; 
}

/* style="text-align: right;" */

.inlinetable { padding: 0; margin: 0; border: 0; }

.tableabs { text-align: left; width: 100%; height: 100%; }
.tablepoem { padding: 0 1em; margin: 0; border: 0; font-size: 1.0em; line-height: 100%; vertical-align: top; }
.tablelinks { padding: 0 1em; margin: 0; border: 0; vertical-align: top; }

.tablecontentnew {
  padding: 0 1em;
  margin: 0;
  border: 0;
  line-height: 150%;
  vertical-align: top;
  text-align: right;
}

.cupboard {
  padding: 0 3em 0 1em;
  margin: 0;
  border: 0;
  line-height: 150%;
  vertical-align: top;
}

.tablecontent {
  font-family: "Lucida Grande", Corbel, Verdana, Helvetica, Sans-Serif;
  padding: 0 0 0 1em;
  margin: 0;
  border: 0;
  line-height: 150%;
  vertical-align: top;
}

.controlpanels {
  padding: 0 0 0 1em;
  margin: 1em;
  border: 0;
  line-height: 200%;
  vertical-align: top;
}

.red { color: #ff030d; }

#menu {
  position: fixed;
  padding: 0 1em 0 0;
  margin: 0;
  border: 0;
  font-size: 1.2em;
  line-height: 100%;
  text-align: right;
}

#hangindent div { margin-left: 3em; text-indent: -3em; }

#xheading { position: absolute; margin-top: 3em; margin-left: 3em; text-align: right; right: 28em; }
#xcontent { position: absolute; top: 18em; margin-left: 10em; text-align: right; right: 28em; }
#xmenu    { position: absolute; right: 0; top: 18em; width: 27em; line-height: 150%; }

#libcol1 { position: absolute; top: 1em; margin-left: 0; text-align: left; line-height: 150%; }
#libcol2 { position: absolute; top: 1em; margin-left: 0; text-align: right; right: 0; line-height: 150%; }
#libcol3 { position: absolute; top: 1em; margin-left: 1em; text-align: left; line-height: 150%; }
