body {
  margin-left: 5%;
  margin-right: 5%;
} 

body, table {
  font-family: Tahoma, Verdana, Arial, Helvetica, sans-serif;
  font-size: small;
} 

div.note td, div.important td {
  font-family: Palatino, Palatino Linotype, Garamond, serif;
  font-style: italic
}

pre.programlisting {
	background-color: #F4F4F4;
	padding: 6px;
}

hr {
	border: 0px;
	height: 0px
}

img {
	border: 0px;
}


table {
	border: 0px;
	border-color: #FFFFFF;
}

table pre.programlisting {
	background-color: #FFFFFF;
}


div.table-contents td {
	background-color: #CCCCEE;
	border-top-width: 0px;
	border-left-width: 0px;
	border-bottom-width: 1px;
	border-right-width: 1px;
	border-color: #FFFFFF;
	border-style: solid;
}

div.table-contents th {
	background-color: #8888BB;
	border-top-width: 0px;
	border-left-width: 0px;
	border-bottom-width: 1px;
	border-right-width: 1px;
	border-color: #FFFFFF;
	border-style: solid;
}


table.copyright {
    font-family: Palatino, Palatino Linotype, Garamond, serif;
	font-style: italic;
	padding-top: 8px;
	padding-left: 8px;
	padding-right: 8px;
	padding-bottom: 8px;
	background-color: #CCCCEE;
	align: right;
}

div.book > div.titlepage {
	margin-top: 20px;
	border: 1px solid #FFFFFF;
	background-color: #CCCCEE;
	padding-left: 12px;
	padding-right: 12px;
}

.navheader table {
	background-color: #CCCCEE;
	font-size: larger;
}

div.toc span.index {
	font-weight: bold;
}
div.toc span.preface {
	font-weight: bold;
}
div.toc span.appendix {
	font-weight: bold;
}
div.toc span.chapter {
	font-weight: bold;
}

h1, h2, h3, h4 {
	font-weight: bold;
}

div.book div.titlepage h1.title {
	font-weight: bold;
	font-size: 36;
}

div.book div.titlepage h3.author {
	font-weight: bold;
	font-size: 24;
}