/* White Gray style sheet file  */

body	{background: #efefef;
         color: #000000;
	 font-family: 'Gill Sans', Arial, sans-serif}

a:link	{color: #434343}

a:visited {color: #666666}

a:hover	{color: #d3d3d3;
 	 background: #414141;
	 text-decoration: underline}

h1, h2	{font-weight: bold;
	 text-align: center;
	 color: #efefef;
	 background: #adadad}

h3, h4	{text-align: left;
	 color: #efefef;
	 background: #adadad}

#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%}