html {
	margin:10px 10px 0px 10px;
	padding: 0px;
}

body {
	color: #555753;
	margin: 0px;
	padding: 0px;
	}


#overall {
	margin-right:10%;
	padding:0px;
}

#menu {
  float: left;
  width: 11em;
	margin-top: 3em;
  margin-left: 10px;
  padding-top: 1em;
}

#content {
  padding-top: 1em;
  margin: 0 2em 0 12em;
}

.example {
  margin: 5px 24px;
  background: #f8f0f0;
	border: 1px dotted #333;
	padding:2px;
}

.example h2 {
	margin: 0px 0px 3px 24px;
	padding: 0px;
	font-weight: bold;
	font-size: 1.18em;
}

.example pre {
	margin: 0px 0px 0px 36px;
	padding: 0px;
}

.figure {
	margin-top: 10px;
  text-align: center;
}

.caption {
  font-size: 0.8em;
  font-weight: bold;
  text-align: right;
}

.section h1 {
	margin:10px 0px 0px 0px;
	padding:0px;
	font-weight:bold;
	font-size:1.38em;
	border-bottom:2px solid #930;
}

.section p {
	margin:10px 12px 0px 24px;
	padding:0px;
	font-size:1.0em;
	font-weight:normal;
}

.faq-entry h2 {
	margin:0px 0px 0px 24px;
	padding:0px;
	font-weight:bold;
	font-size:1.18em;
}

.faq-entry P {
	margin:0px 0px 5px 36px;
	padding:0px;
	font-size:1.0em;
	font-weight:normal;
}

.faq-entry pre {
	margin:0px 20px 0px 48px;
	padding:0px;
	background: #f8f0f0;
	border: 1px dotted #333;
}

#footer {
	border-top:2px solid #930;
	font-size:0.8em;
	font-weight:normal;
	padding:0px 0px 0px 0px;
	text-align: center;
	margin:10px auto;
	margin-left: 12em;
}

#button {
	width: 10em;
	padding: 0;
	font-family: 'Trebuchet MS', 'Lucida Grande', Verdana, Lucida, Geneva, Helvetica, Arial, sans-serif;
	color: #333;
	}
	
#button ul {
	list-style: none;
	margin: 0;
	padding: 0;
	border: none;
	}
	
#button li {
	border-bottom: 1px solid #FFFFFF;
	margin: 0;
	list-style: none;
	list-style-image: none;
	}

#button li a {
	display: block;
	padding: 5px 5px 5px 0.5em;
	border-left: 10px solid #804D40;
	border-right: 10px solid #BF4D30;
	background-color: #E68A73;
	color: #fff;
	text-decoration: none;
	width: 100%;
	}

html>body #button li a {
	width: auto;
	}

#button li a:hover {
	border-left: 10px solid #BF7360;
	border-right: 10px solid #FF9980;
	background-color: #FFCCBF;
	color: #fff;
	}