html {
  background: url("images/pmurphy/klugeback_dull.png");
  color: #000080;  /* Navy */
  font-size: 16;
  font-family: helvetica ; 
}

code { font-size: 16; font-family: courier ; }
body { font-family: sans-serif, helvetica ; }
p  { font-size: 16; font-family: sans-serif, helvetica ; }

a:link { color: #0000CC; text-decoration: none; font-weight: bold; }
a:visited { color: #009933; text-decoration: none; font-weight: bold; }
a:hover { color: #66cc66; background: #006600; text-decoration: underline; font-weight: bold; }
a.menu { line-height: 130%; text-decoration: none; font-weight: bold; }
a.menu:link { color: #000099; text-decoration: none;}
a.menu:visited { color: #339933; text-decoration: none; }
a.menu:hover { color: #66cc66; background: #006600; text-decoration: underline;}

/* Tech colours for "what's new" box */
.whatsnew { color: #ffbb00; line-height: 110%; text-decoration: none;
	     font-weight: normal; } 
.whatsnew:link { color: #ffff00; text-decoration: none; font-weight: bold; }
.whatsnew:visited { color: #ccff00; text-decoration: none; font-weight: bold; }
.whatsnew:hover { color: #ffff66; background: #832840; text-decoration: underline; }

/* Stuff below not yet used */

div.box { border: solid; border-width: thin; width: 90%;
          text-align: center; font-weight: bold; color: #cc0000;
          padding: 0.5em; background: rgb(255,255,127);}
blockquote.example { font-family: courier, monospace; font-weight: bold; 
                     color: #990000;}
span.blue { color: #0000CC; }
table.gray { background: rgb(180,140,100);}
p.exc { font-size: 18; text-indent: 2em; margin-left: 2%; margin-right: 2% }

#top { /* For the logo and title */
  padding-left: 1em;
  background: url("coach/parchment.png");
}

#main { /* Main content */
  background: url("coach/parchment.png");
  padding-left: 16em; /* Space for menu */
  color: black;
  background-color: #d2c3b0;
  font-size: 14;
  font-family: helvetica;
}
/* This works.  Embedding them in the ID selector "#main" does not work. */
#main a.link { color: #ffff00; }
#main a.visited { color: #99ff00; text-decoration: underline; }

ul.navbar {
/*  background: #d2c3b0; */
  background: url("coach/parchment.png");
  color: #333399;
  list-style-type: none;
  margin: 0;
  position: absolute; 
  top: 12em;
  width: 9em;
  border-right: 0.3em solid #333333;
  border-bottom: 0.3em solid #333333;
  border-top: 0.1em solid #333333;
  border-left: 0.1em solid #333333;
  padding: 1em 1em 1em 1em;
}
ul.navbar {
  -moz-border-radius: 1em;
}

ul.navbar li {
  padding: 0em 0em 0em 0em;
  font-weight:bold;
}

#navbar
{
  position: fixed;
  left: 2em;
  width: 10em;
  color: black;
  background: white;
  text-align: left;
}

#navbar ul li a:hover {
  background-color: #333333;
  color: #cccccc;
  text-decoration: underline;
}

#navbar ul li a {
  text-decoration:      none;
}
/* This was in the main file, not sure it's used */
.foo {
  color: #ffff66;
}
.bar {
  color: #ffbb00;
}