body {
  background: #969696;
  color: #000000;
  padding: 0em;
  margin: 0em;
  overflow: auto;
}

a {
  color: #0000cc;
}
a:visited {
  color: #000077;
}

/* ----------- header ------------ */

.theheader {
  background-color: #a0a0a0;
  background: url("bg-header.png");
  background-repeat: repeat-x;
  color: #f0f0f0;
  text-align: left;
  height: 100px;
  padding-top: 1px;
  padding-bottom: 0.2em;
  padding-left: 0em;
  padding-right: 0em;
  margin: 0em;
}

div.theheader h1 {
  white-space: nowrap;
  font-size: 1.8em;
  padding-bottom: 10px;
}

div.theheader h1 a {
  text-decoration: none;
  color: #ffffff;
}

.headerpic {
  float: left;
  margin: 0px 7px 0px 0px;
}

/*
.header_hr {
  display: block;
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: auto;
  margin-right: auto;
  border-style: inset;
  border-width: 3px;
}
*/

/* ----------- footer ------------ */

div.thefooter {
  background-color: #a0a0a0;
  background: url("bg-header.png");
  background-repeat: repeat-x;
  color: #f0f0f0;
  text-align: center;
  height: 60px;
  overflow: clip;
  padding-top: 1px;
  padding-bottom: 0;
  padding-left: 0;
  padding-right: 0;
  margin: 0em;
}

div.thefooter p {
  margin: 25px 0 0 0;
  text-align: center;
  font-size: 0.9em;
}

.small_link, div.thefooter p.small_link {
  font-size: 12px;
  text-align: right;
  margin: 0 2px 0 auto;
}

div.thefooter p.small_link a {
  color: #bbbbff;
}
div.thefooter p.small_link a:visited {
  color: #bbbbee;
}

/* ----------- main menu ------------ */

div.mainmenu {
  display: block;
  background: rgba(0,0,0,0);
  color: #000000;
  font-size: 0.9em;
  line-height: 1.8em;
  text-align: right;
  float: right;
  margin-right: 5px;
  margin-top: -17px;
  padding: 12px 7px 10px 7px;
}

a.mainmenu_link {
  white-space: nowrap;
  background: #aaaaaa;
  margin: 1px;
  padding: 3px;
  text-decoration: none;
  color: #ffffff;
}

a.mainmenu_link:hover {
  background: #bbbbbb;
  text-decoration: underline;
}

.mainmenu_curr {
  /* background: #bbbbbb; */
  white-space: nowrap;
  background: #969696;
  margin: 1px;
  padding: 3px;
  text-decoration: none;
  color: #ffffff;
}



/* ----------- content layout ------------ */


.bigtable {
  /* min-width: 30em; */
  min-width: 100%;
}

.bigtable tr td {
  vertical-align: top;
}

.bigtable tr td.cntcolumn {
  align: center;
}
.bigtable tr td.blkcolumn {
  align: right;
}

div.pagerest {
  padding: 0.4em;
  margin: auto;
  min-width: 400px;
  max-width: 55em;
}

hr.news {
  display: block;
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: auto;
  margin-right: auto;
  border: 1px solid #b0b0b0;
  width: 75%;
/*  border-style: inset;
  border-width: 5px; */
  clear: both;
}

.node_title {
  margin: 0px;
  padding: 0px;
}

.node_title a {
  text-decoration: none;
  color: #000099;
}

.node_headblock {
  float: left;
  max-width: 70%;
}

.date {
  font-size: 1em;
  font-style: italic;
}

.news_item_body {
  margin: 0.5em;
  padding: 0.3em;
  font-size: 1.1em;
  line-height: 1.6em;
  text-align: justify;
  /* text-indent: 2em; */
}

.newsmore {
  font-size: 0.9em;
  text-align: right;
  padding-right: 1em;
  align: right;
}

.node_body {
  margin: 1em;
  padding: 1em;
  font-size: 1.1em;
  line-height: 1.6em;
  text-align: justify;
  /* text-indent: 2em; */
  clear: both;
}

.commentlink {
  font-size: 0.9em;
  font-style: italic;
  text-align: right;
  padding-right: 1em;
  align: right;
}

.nojustify {
  text-align: left;
}
  

/* ---------- navigation bar for news pages ----------- */

.news_navlinks {
  background: #aaaaaa;
  color: #000000;
  font-size: 1em;
  text-align: right;
  float: right;
  margin-right: 1em;
  padding-right: 1em;
  padding-left: 1em;
}
a.nav_arr {
  font-size: 2em;
  font-weight: bold;
  text-decoration: none;
  color: #000000;
}
a.nav_arr:hover {
  font-size: 2em;
  font-weight: bold;
  text-decoration: none;
  color: #2222ff;
}


/* -------------- index bar for news digest array ------------- */

div.index1 {
  display: block;
  background: #aaaaaa;
  color: #000000;
  font-size: 1em;
  text-align: right;
  float: right;
  margin-right: 1em;
  padding: 12px 7px 10px 7px;
}

a.idx_link {
  background: #bbbbbb;
  margin: 3px;
  padding: 3px;
  text-decoration: none;
  color: #000000;
}

a.idx_link:hover {
  background: #bbbbbb;
  margin: 3px;
  padding: 3px;
  text-decoration: none;
  color: #2222ff;
}

.idx_curr {
  background: #bbbbbb;
  margin: 3px;
  padding: 3px;
  text-decoration: none;
  color: #ffffff;
}

.idx_grey {
  background: #bbbbbb;
  margin: 3px;
  padding: 3px;
  text-decoration: none;
  color: #999999;
}

.idx_break {
  margin: 3px;
  padding: 3px;
}





/* ----------- comments ------------ */

.comments_section {
  max-width: 55em;
  margin: auto;
}

.comment_subtree {
  margin: 0;
  padding: 0;
  border: none;
}

.comment_head {
  background: #a0a0a0;
  padding: 2px 1px 2px 1px;
  margin: 0;
  border: none;
  font-size: 13px;
  height: 24px;
}

div.comment_head p {
  margin: 0;
  padding: 0;
}

.comment_parln {
  text-decoration: none;
  font-size: 20px;
}

.comment_parln img {
  height: 18px;
  margin: 0;
  padding: 0;
}

.comment {
  margin: 3px;
  padding: 0;
  border: 2px solid #a8a8a8;
}

.comment_content {
  padding: 0.5em;
  font-size: 1.1em;
  line-height: 1.5em;
  text-align: justify;
}

.comment_content h3 {
  text-align: left;
}

.comment_userpic {
  float: right;
  max-width: 100px;
  max-height: 100px;
  overflow: clip;
}



/* ----------- blocks in the right column ------------ */

.right_blocks {
  display: inline-block;
  float: right;
  width: 17em;
  padding: 5px 15px 5px 5px;
  margin: 0 0 5px 5px;
}

.rblock {
  background: #a0a0a0;
  border: 2px solid #a8a8a8;
  font-size: 1em;
  line-height: 1.45em;
  padding: 3px 5px 3px 5px;
  margin: 0 0 1em 1em;
}
.rblock h4 {
  font-size: 0.8em;
  font-weight: bold;
  text-align: center;
  margin: 0;
  padding: 0;
}

.progintro_menu {
  margin-left: 0;
  padding-left: 1.2em;
  list-style-type: circle;
}
.progintro_menu_link {
  text-decoration: none;
}
.progintro_menu_link:hover {
  text-decoration: underline;
}


/* ----------- generated donation table logs ------------ */

.donlogtable {
  border: 1px solid;
  width: 100%;
  border-collapse: collapse;
}

.donlogtable tr , .donlogtable tr td , .donlogtable tr th {
  padding: 2px 7px 2px 7px;
  border: 1px solid;
}

/* ----------- used by the cgi ------------ */

.messagebox_ok {
  clear: both;
  margin: auto;
  border: 2px solid #00b000;
  background: #a0a0a0;
  padding: 10px;
  width: 75%;
}

.messagebox_err {
  clear: both;
  margin: auto;
  border: 2px solid #b00000;
  background: #a0a0a0;
  padding: 10px;
  width: 75%;
}

.form_item {
  padding: 1em;
}

.form_item label {
  display: block;
}

.form_item input {
  display: block;
}

.form_comment {
  padding-left: 1em;
  margin-top: 0;
  margin-left: 1em;
  font-size: 85%;
}

textarea {
  font: 1.1em monospace;
  line-height: 1.6em;
}

input[type=text] {
  font: 1.1em monospace;
  line-height: 1.6em;
}

/* ----------- misc props. ------------ */

.clear_both {
  clear: both;
}

.feed_icon {
  float: left;
}

blockquote {
  background: #a0a0a0;
  padding: 1em;
}

img {
  margin: 3px;
}

pre {
  background: #8a8a8a;
  padding-left: 1em;
  padding-right: 1em;
  margin-left: 1em;
  margin-right: 1em;
  overflow: auto;
  max-width: 60em;
  white-space: pre;
}

.tag {
  background: #8a8a8a;
  padding: 0 0.5em 0 0.5em;
  margin: 3px 0.5em 3px 0.5em;
  border: 2px solid #a8a8a8;
  font-size: 0.9em;
}

/* ----------- special for errata tables ------------ */

table.errtable {
   border: 1px solid black;
   border-collapse: collapse;
}
table.errtable tr {
   border-style: solid none;
   border-color: black;
   border-width: 1px;
}
table.errtable tr td {
   padding: 1px 4px 1px 4px;
   text-align: left;
}