body {
  background: white; 
  /* color: #0c4a73;  */
  font-family: Arial, Helvetica, sans-serif;
  /* margin: 0 0 0 0; */
  /* border: 0; */
}

/* General font definitions */
strong { 
  font-weight: bold 
}

var { 
  font-style: italic 
}

samp, tt, code, pre { 
  font-family: Courier New, Courier, monospace 
}

/* Heading definitions */
/*xh1 {
  text-align: right; 
  color: #0c4a73;
  font-weight: normal;
}

h2 {
  text-align: left; 
  color: darkred; 
  font-weight: normal;
}

h3 {
  text-align: left; 
  color: darkred; 
  font-weight: normal;
}

h4 {
  text-align: left; 
  color: darkred; 
  font-weight: normal;
}
*/
/* Link definitions */
a:link {
  color: #0c4a73;
}

a:visited {
  color: darkred;
}

a:active {
  color: #0c4a73;
}

/* List definitions */
ul {
  list-style-type: square;
}

li {
  padding: .2em .2em .2em .2em; 
}

/* Table definitions */
thead {
  background: #0c4a73; 
  color: white; 
  font-weight: bold
}

thead td {
  padding: .1em 1em .1em 1em; 
}

tbody td {
  padding: .2em .2em .2em .2em; 
}

/* Definition list definitions */
dt {
  background: #0c4a73; 
  color: white; 
  padding: .2em 2em .2em 2em; 
  margin: .1%; 
  font-weight: bold; 
}


/* Banner definitions */
div.banner {
/*  border-style: solid;
  border-width: medium;
  border-color: darkblue;*/
}

/* Sidebar definitions */
div.sidebar {
  border-style: solid;
  border-width: 1.2px;
  border-color: #0c4a73;
  width: 15%;
  float: right; 
  background: white;
  color: #0c4a73; 
}

div.sidebar h1 {
  margin: .2em .2em .2em .2em;
  padding: 3px 3px 3px 3px;
  text-align: center;
  color: #0c4a73;
}

div.sidebar h2 {
  margin: .2em .2em .2em .2em;
  padding: 3px 3px 3px 3px;
  text-align: center;
  color: #0c4a73;
}

div.sidebar h3 {
  margin: .2em .2em .2em .2em;
  padding: 3px 3px 3px 3px;
  text-align: center;
  color: #0c4a73;
}

div.sidebar h4 {
  margin: .2em .2em .2em .2em;
  padding: 3px 3px 3px 3px;
  text-align: center;
  color: #0c4a73;
}

div.sidebar a {
  color: inherit; 
  text-decoration: none;
}
 
div.sidebar a:hover { 
  color: inherit; 
  text-decoration: underline; 
}

div.sidebar a:visited { 
  color: inherit;
  text-decoration: none; 
}

div.sidebar ul {
  /* border-style: solid;
  border-width: medium;
  border-color: white;*/
  list-style: none;
  margin: .2em .2em .2em .2em;
  padding: 3px 3px 3px 3px;
}

div.sidebar li {
  border-style: solid;
  border-width: 1.2px;
  border-color: #0c4a73;
  background: white;
  color: #0c4a73;
  margin: .2em .2em .2em .2em;
  padding: 4% 4% 4% 4%;
}

div.sidebar li:hover {
  background: #0c4a73;
  color: white;
}


/* Main body definitions */
div.main {
  /* border-style: solid;
  border-width: medium;
  border-color: darkblue;*/
}

div.main h1 {
  text-align: left; 
  color: darkred;
}

div.main h2 {
  text-align: left; 
  color: darkred;
}

div.main h3 {
  text-align: left; 
  color: darkred;
}

div.main h4 {
  text-align: left; 
  color: darkred;
}

div.sidebar + div.main {
/*  border-style: solid;
  border-width: medium;
  border-color: darkblue; */
  float: right;
  left: 20%;
  width: 80%;  
}

/* Footer definitions */
div#footer {
  text-align: right;
  border-style: solid;
  border: 0;
  border-color: darkred;
  clear: both;
  font-style: italic;
  font-size: 50%;
}

/* Document definitions */
div.docs {
  /* border-style: solid;
  border-width: medium;
  border-color: darkred;*/
}

span.doctitle {
  font-weight: bold;
  display: block;
}

span.docauthors {
  display: block;
}

span.docauthors:after {
  content: ".";
}

span.dochowpub:after {
  content: ",";
}

span.docpublisher:after {
  content: ",";
}

span.docisbn:before {
  content: "ISBN ";
}

span.docisbn:after {
  content: ",";
}

span.docproc {
  font-style: italic;
}

span.docproc:before {
  content: "";
}

span.docproc:after {
  content: ",";
}

span.docjournal {
  font-style: italic;
}

span.docjournal:after {
  content: ",";
}

span.docnum:after {
  content: ",";
}

span.docnote {
  font-style: italic;    
}

span.docnote:after {
  content: ".";
}

span.docpages:before {
  content: "pp. ";
}

span.docpages:after {
  content: ",";
}

span.docwhere:after {
  content: ",";
}

span.doctype:after {
  content: ",";
}

span.docwhen:after {
  content: ".";
}

span.doclink {
  display: block;
}

span.doclink:before {
  content: "[";
}

span.doclink:after {
  content: "]";
}

/* News definitions */
div.news {
  text-align: left; 
  color: darkred; 
}

div.news A {
  text-align: left; 
  color: darkred; 
}