/* Main style sheet file  */

body	{background: #fafad8;
         color: #006000;
	 font-family: 'Gill Sans', Arial, sans-serif}

a:link	{color: #000099}

a:visited {color: #000000}

a:hover	{color: #0f0f08;
 	 background: #00dd00;
	 text-decoration: underline}

h1, h2	{font-weight: bold;
	 text-align: center;
	 color: #fafad8;
	 background: #006000}

h3, h4	{text-align: left;
	 color: #fafad8;
	 background: #006000}

#note	{font-style: italic;
 	 font-size: smaller}

#menus  {font-weight: bold;
	 font-family: 'Times New Roman' serif}

#object	{color: #00b000;
	 font-family: monospace;
	font-weight: bold}

#code   {color: #000000;
        font-family: monospace;
	font-weight: bold}

#tree   {font-size: 90%}

/* Put this in place once we have a nice background picture
   Then mark the place where the picture is supposed to appear
   with a div id="content" tag
div#content {
	background: #00dd00 url(traffic-back.jpg) 0 0 no-repeat fixed}

*/

