body div {
	width: 640px;
	font-size: 11px;
	line-height: 170%;
	margin-left: auto;
	margin-right: auto;
	background: white;
	padding: 15px 30px 15px 30px;
	border: 1px solid #ddd;
}

body {
	font-family: verdana, sans-serif; 
	text-align: justify;
	color: rgb(48,48,48);
	background: #eee;
}

pre {
  	font-family: fixed, courier new, courier, monospace;
	font-size: 105%;
	color: rgb(0, 0, 0);
	background: rgb(250,250,250);
	border: 1px solid rgb(224,224,224);
	padding-top: 10px;
	padding-bottom: 10px;
	margin-bottom: 25px;
}

h1, h2, h3 {
	color: black;
	font-family: 'Trebuchet MS', arial, sans-serif;
	font-size: 20px;
	letter-spacing: 0px;
}

h3 {
	margin-top: 15px;
}

a {
	color: rgb(0, 0, 192);
}

a:link, a:visited {
	text-decoration: none; 
}

a:active, a:hover { 
	text-decoration: underline; 
}

a img {
	border: 0px;
}

span {
	color: rgb(127, 127, 127);
}

hr {
	border: 0px;
	background-color: black;
	height: 1px;
	margin-bottom: 10px;
}

li {
	margin-left: 16px;
	padding: 0px 0px 3px 5px;
}

ul {
	margin: 0px;
	padding: 3px 0px 3px 2px;
}

#libp {
	line-height: 170%;
}

#libp u {
	text-decoration: none;
	border-bottom: 1px dotted gray;
}