body	{width; 80%;
}

body, p, td	{font-family:verdana, arial, sans-serif; font-size: 12px;
		margin-right: 40px;
}

p	{margin-left: 60px;
}

div#container {position: absolute; top: 180px; left: 5px;
}

ul, ul li	{margin-left: 30px; list-style-position: inside;
}

body > #container  ul,body > #container  ul li	{margin-left: 10px; list-style-position: inside;
}

div#title	{position:absolute; top: 5px; left 5px;
		margin: 00px 20px 0 0;
		height: 50px;
		width: 95%;
}

div#title h1, div#title h2 { text-align: right;
	margin-right: 30px; padding-right: 30px;
}

div#title h1 {padding-top: 70px;
margin-top: 50px; margin-bottom: -.1em;
font-size: 110%;
background-color: #ccc;
}

div#title h2 {font-weight: normal; font-style: italic;
	margin-top: 0;
	padding-top: 0;
}

div#nav	{position:absolute; top: 112px; left 5px;
		margin: 00px 20px 0 0;
		width: 90%;
}

div#nav ul, div#nav ul li { margin: 00px 10px 0 0;
}

#nav ul {margin: 0; padding: 0;
}

#nav li	{display: inline; margin-right: 15px; padding: 0;
width: 8em;
}
#nav li a {width:10em;
	margin: 0; padding: 0;
	text-align: center; text-decoration: none;
	border: 2px solid #ccc; padding: 5px;
	font-style: italic; letter-spacing: .2em;
}

#nav li a:link {color: #0f0f0f;
}
#nav li a:visited {color: #0f0f0f;
}
#nav li a:hover {color: #0f0f0f; background: #99e;
}

#nav li a#thispage {text-decoration: none; border: 2px solid #99e;
	background: #eee; 
}
#nav li a#thispage:hover {text-decoration: none; border: 2px solid #99e;
	background: #eee; 
}

body > div#nav	{position:absolute; top: 120px; left 5px;
		margin: 00px 20px 0 0;
		width: 95%;
}


div#logo {position: absolute; top: 30px; left: 20px; font-size: 120%;
	height: 35px; width: 250px;
	padding: 10px 10px 10px 10px;
	background-color: #99e;
	letter-spacing: .1em;
}

div#logo .logol {font-size:240%; font-family: georgia; font-weight: bold;
	color:#606060;
}

div#logo .logoc {font-size:180%; font-family: georgia; font-weight: bold;
        color:#0000ff;
}

div#logo .logor {font-size:180%; font-family: verdana, arial, sans serif;
	font-weight: bold;
        color:#ccc;
}

h1, h2, h3, h4	{font-family: verdana, arial, sans-serif;
		font-size: 100%;
}

div#container h2 {font-style:italic; margin-left: 20px;
}

div#container p {margin-right: 10%;
}

caption		{font-weight: bold; font-size: smaller;
}

div#examples	{margin: 20px 0 0 80px;
}

div#examples table	{border: 1px solid black;
		width: 80%;
}

#subtitle	{
		margin: 0; padding: 12px 0 12px 0;
		width: 100%;
}


div#main {position:relative; margin: 50px 20px 30px 20px;
height: 200px;
}

div#mainleft  {position:absolute; top: 0; left: 0;
}

div#mainright  {position:absolute; top: 0; left: 250px;
}

div#mainright p {margin-bottom: 40px;
}

div#container hr  {margin-top: 30px;
}