body {
  margin-left: 210px;
  margin-right:  3em;
  background-color: white;
  font-family:  serif;
  font-size:    medium;
}

/* Note: this style sheet is designed for a screen. Some changes should
** be made for media-specific stylesheets (phone, paper) */

/* We'd rather have div#nav with a fixed position, but it is not
** supported by IE6 on Windows, so we need a workaround */

div#nav {
  position: absolute;
  top:      0px;
  left:     0px;
  width:            180px;
  height:           297mm; /* A4 height */
  /* background-color: #c4d4e0; */
  /* border-right:     thin solid black; */
}


/* documented workaround for IE5/6 bug */
body>div#nav {      
  position: fixed;
}

div#nav a img {
  padding-top:      10px;
  padding-bottom:   10px; 
  padding-left:      5px;
  border:           none;
}

/* no borders around logos */

a img.logo {
  display:          block;
  border:           none;
  margin-left:      auto;
  margin-right:     auto;
  vertical-align:   top; 
}

/* for logos and links to funding organizations from includes/logos.shtml */

a img.logo_ind {
  border:           none;
  padding:          2px;
}

img.photo {
  margin-right: 1em;
  border: solid thin black;
}

/* 
   "nav" is a navigation item in the menu.
   "nav_sub" is a sub-item in the menu
*/

.nav, .nav_sub {
  display:          block;
  text-align:       center;
  margin:           2px;
  padding-top:      0.3ex;
  padding-bottom:   0.3ex;
  font-family:      serif;
  font-weight:      bold;
  background-color: #c4d4e0;
}

.nav_sub {
  display:          list-item;
  margin-left:      3em;
  list-style:       none;
}

.nav a,
.nav_sub a {
  text-decoration: none;
  color:           #3a3d92; 
  border:          thin dotted #c4d4e0; /* invisible border - background color of div#nav */
}

.nav a:hover,
.nav_sub a:hover {
/*
  color:           #c41313; 
  background-color: #f1f4e4;
  border:          thin dotted #c41313;
*/
}


dl.linkfarm dt { 
  padding-top:     1ex;
  font-family:     serif;
  font-weight:     bold;
  color:           #004379; /*3a3d92;*/
}

dl.linkfarm dd {
}


h1.menu { 
  font-family:     serif;
  font-weight:     bold;
  font-size:       16pt;
  text-align:      center;
  color: #004379;
  border: none;
}

div h1.menu { 
  margin-bottom:  0;
}

h1 { 
  font-family:     serif;
  font-weight:     bold;
  font-size:       24pt;
  color:           #004379;
  padding-bottom:  0.5ex;
  border-bottom:   solid thin gray;
}

h1 span.subhead,
h2 span.subhead { 
  font-size:       smaller;
  color:           #db1119;
}

h2 { 
  font-family:     serif;
  font-weight:     bold;
  font-size:       24pt;
  color:           #004379;
  padding-bottom:  0.5ex;
  border-bottom:   solid thin gray;
}

h3 {   
  font-size:       16pt;
  color:           #004379;
}

h3.bib { 
}


strong { 
  font-weight:     bold;
  color:           #004379; /*3a3d92;*/
}

th {
  font-family:     sans-serif;
  font-weight:     bold;
  color:           #3a3d92;
  text-align:      left; 
}

td.docnum { 
  vertical-align:  top;
  width:           8em;
}

td.docname {
  vertical-align:  top;
  width:           16em;
}

td.docdesc { 
  vertical-align:  top;
}

td.bold { 
  font-weight:     bold;
}

td.shaded { 
  background:      #888888;
  color:           white;
  font-weight:     bold;
  font-size:       smaller;
}

td.italic {
  font-style:      italic; 
}

span.project { 
}

div#top {
}

p { 
  text-align:  justify;
}

p.nav_top {
  font-size:   small;
  text-align:  left;
}

div#lastmod_blk {
  padding-top: 1ex;
}

div.news {
  border:      thin solid black;
  background:  #e0e0e0;
  padding-left: 0.5cm;
  padding-right: 0.5cm;
  /* padding-top: 0.25cm; */
  padding-bottom: 0.25cm;
}

p#lastmod {
  font-size:   small;
  color:       gray;
}

pre { 
  font-family: monospace;
  font-size:   medium;
}

dt.pubtitle { 
  padding-top: 1ex;
  /* quotes: '"' '"' "'" "'"; */
  font-weight: bold;
}

cite { 
}


ol.justified li { 
  padding-bottom: 1ex;
  text-align: justify;
  margin-right:   2em;
}