/*
 * CSS style sheet for Mark's webpages (celos.net)
 *
 * MJ White 2001
 *
 * NB the font-size property is unreliable, and differs between NS and
 * IE type browsers, so mostly rely on <font> tags to handle it 
 *
 * Adapted for Fastnet page
 */

/* body text */
body {
  /* margin-right: 80px; */
  font-family: verdanna,lucida,sans-serif;
  background: #eeeeff;
}

/* headings */
h1 {    /* h1 is only used in Sarah's pages */
  font-family: Verdanna, lucida, sans-serif;
  background-color: #000088;
  color: #FFFFFF;
  padding-left:3pt;
  margin-top:2pt;
  margin-bottom:8pt;
  border-style:none;
  width:100%;
  font-size:150%
}

h2 {
  color: #000000;
}

h3, h4 {
  color: #000088;
}

h4 {
  font-style: normal;
  font-weight: bold;
}

/* ...title class for h1 */
h1.title {
  margin-top: 0;
  padding-top: 0;
  margin-bottom: 0;
  padding-bottom: 0;
}

/* heading */
table.heading {
  background: #aabbee;
}

/* navbar */
td.navbar {
  color: #ffffff;
}

/* subnav bar */
td.subnav {
  color: #000000;
}
td.subnav a:visited, td.subnav a:link, td.subnav a:active {
  color: #4444bb;
}
td.subnav span.selected {
  color: #000000;
}

span.mfselected {
  color: #aaaaff;
}
span.mfunselected a:visited, span.mfunselected a:link, span.mfunselected a:active {
  color: #ffffff;
}
span.mfsep {
  color: #ffffff;
}

/* timetable style */

table.timetable {
  border: 1;
}

table.timetable td {
  vertical-align: baseline;
}

table.timetable th {
  vertical-align: baseline;
  padding-right: 4ex;
  font-size: x-small;
  font-weight: normal;
}

td.caption {
  justify: center;
  font-size: small;
  color: #000099;
}

/* adjust link colour a bit */

a:visited {
  color: #6600ff;
}
a:link, a:active {
  color: #4444bb;
}

div.box { 
  /* background: rgb(204,204,255); */
  /* padding: 0.5em; */
  border: solid;
  border-width: thin
}

div.nhead { 
  background: #111199;
  color: #ffffff;
  border-width: thin
  padding: 3pt;
  font-size: 110%;
}

pre {
  font-family: monospace
}

dl.crew dt {
    color: #000088;
    font-style: italic;
}

dl.crew dd {
    padding-left: 0pt;
    margin-left: 0pt;
}