/* $Id: default.css,v 1.1 2007/03/05 10:53:13 rr Exp $ */

body {
  margin-left: 200px;
  margin-right:  1em;
  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: white; /* #f1f4e4; */
  border-right:     thin solid black;
}

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

div#nav a img {
  margin-top:       1ex;
  margin-bottom:    1ex;
  border:           thin solid black;
}

/* 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;
}

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

.nav, .nav_sub {
  display:          block;
  text-align:       left;
  margin-left:      2.5em;
  padding-bottom:   0.5ex;
  font-family:      sans-serif;
  font-weight:      bold;
  font-size:        smaller;
}

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

.nav a,
.nav_sub a {
  text-decoration: none;
  color:           #3a3d92;; 
  border:          thin dotted #f1f4e4; /* 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:     sans-serif;
  font-weight:     bold;
}

dl.linkfarm dd {
}


dl.publications dt { 
  border-top: thin dashed black;
  padding-top:     1ex;
  font-weight:     bold;
}

dl.publications dd {
}

dl.publications dd.abstract {
  padding-top:   1ex;
/*  font-size:    smaller; */
}

dl.publications dd.abstract strong {
  color: black;
}

dl.publications dd.links {
  padding-top:  1ex;
  padding-bottom: 1ex;
}

h1 { 
  font-family:     sans-serif;
  font-weight:     normal;
  color:           #c41313;
}

h2 { 
  font-family:     sans-serif;
  font-weight:     normal;
  color:           #3a3d92;
}


strong { 
  font-weight:     bold;
  color:           #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#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 { 
}

/*span[name=hidemail], suggested by jost TODO - should inherit from a:link ? */
/*
.hidemail {
  color: #0033ff; 
  text-decoration: underline;
}
*/


pre { 
  margin-left: 1em;
}