body
{
  /*font-family: "Palatino Linotype", "Times New Roman", Roman, serif;*/
  font-family: "Trebuchet MS", "Arial", sans-serif;
  color: rgb(40,40,40);
}

#header
{
  font-size: 170%;
	margin:1em 0 0.2em 0;
  text-align:left;
  text-indent: 1em;
	padding: 0.5em 0em 0.2em 1em;
	border-style:solid;
	border-color:black;
	border-width:1px 0px; /* top and bottom borders: 1px; left and right borders: 0px */
	background-color:#eee;

  /* Here is the ugly brilliant hack that protects IE5/Win from its
  own stupidity.  Thanks to Tantek Celik for the hack and to Eric
  Costello for publicizing it.  IE5/Win incorrectly parses the "\"}""
  value, prematurely closing the style declaration. The incorrect
  IE5/Win value is above, while the correct value is below. See
  http://glish.com/css/hacks.asp for details. */

	/*voice-family: "\"}\"";*/
	/*voice-family:inherit;*/
	/*height:14px;*/ /* the correct height */
}

/* I've heard this called the "be nice to Opera 5" rule. Basically, it
feeds correct length values to user agents that exhibit the parsing
error exploited above yet get the CSS box model right and understand
the CSS2 parent-child selector. ALWAYS include a "be nice to Opera 5"
rule every time you use the Tantek Celik hack (above). */

/*body>#header {height:14px;}*/

/* Contains the menu and content */
#main
{
  position:relative;
	margin:0px 0px 0px 0px;
	padding:0px;
  top:0px;
	left:0px;
}

#content 
{
  float:right;
  /*background-color: red;*/
  position:absolute;
  left: 11em;
	/*margin:0px 50px 50px 200px;*/
  /* top, right, bottom, left */
	margin:0.5em 1em 0em 1em;
	/*padding:1em;*/
  word-spacing: 0.1em;
  line-height: 1.5;
  /*voice-family: "\"}\"";*/
	/*voice-family:inherit;*/
  /*width: auto;*/
	width:70%; /* stop retarded IE from making it too wide */
}

#menu
{
  float:left;
  width:auto;
	position:absolute;
	left:1em;
  top: 1em;
	/*width:172px;*/
	padding:0.5em;
	background-color:#eee;
	border:1px dashed #999;
	line-height:1.5em;
/* Again, the ugly brilliant hack. */
	/*voice-family: "\"}\"";*/
	/*voice-family:inherit;*/
	/*width:150px;*/
}

.submenu
{
  margin-left: 1em;
}

.tip
{
  position:absolute;  
  float:left;
  left:-13em;
  width:10em;
  background-color:rgb(255,255,200);
	border:1px dashed #999;
  padding:0.5em;
  font-size: 85%;
  line-height: 1.3;
}

/* Again, "be nice to Opera 5". */
/*body>#menu {width:150px;}*/

h1,h2,h3,h4,h5
{
  margin-bottom: 0.5em;
  font-weight: normal;
}

h1
{
  margin-top: 2em;
  font-size: 140%;
  font-weight: normal;
}

h2
{
  margin-top: 1em;
  font-size: 120%;
}

p
{
  margin-top: 0;
}

ul
{
  margin-top:0.5em;
}

li
{
  margin-bottom: 0.5em;
}

a:link
{
  color: #AD1000;
  text-decoration: none;
  border:1px none #999;
}

a:visited
{
  text-decoration: none;
  color: #7E0C00;
  border:1px none #999;
}

a:hover
{
  text-decoration: none;
	border-width:1px 1px; 
	background-color:yellow;
}

/* IE6 doesn't do CSS2 parent-child selectors, so this has no effect there */
#menu>a:hover,.submenu>a:hover
{
  text-decoration: none;
	border-width:1px 1px;
	background-color:yellow;
  border:1px dashed #999;
}

.defn
{
  font-style: italic;
}

.listhead
{
  /*text-decoration: underline;*/
  /*border-bottom:1px dashed blue;*/
  font-style:italic;
}

.command
{
  color: blue;
}