body {
  font-family: sans-serif;
  margin: 0;
  padding: 0;
  background-color :white;
  color : black;
}
 
pre {
  background: #E0E0E0;
  margin: 0 5%;
  padding: 5px;
}
 
a {
	color : #0000FF;
}
a:visited {
	color : #840084;
}
a:active {
	color : #0000FF;
}
 
a:hover {
  	color: #000000;
}
 
.book {
    padding-left: 5%;
    padding-right: 5%;
}
 
.chapter {
    padding-left: 5%;
    padding-right: 5%;
}
 
.sect1 {
    padding-left: 5%;
    padding-right: 5%;
}
 
.appendix {
    padding-left: 5%;
    padding-right: 5%;
}
 
.navheader {
    padding-left: 5%;
    padding-right: 5%;
}
 
.navfooter {
    padding-left: 5%;
    padding-right: 5%;
    padding-bottom: 10px;
}
 
.important th {
        color: red;
}
 
.figure .title {
        font-size: x-small;
        text-align: center;
}
 
#banner {
	width: 100%;
	height: 60px;
	margin-bottom:20px;
	background-color: #fe592c;
	padding : 0;
	margin:0;
}
#logo {
	float : left;
	padding-left :	24px;
	margin :0;
	padding-top:15px;
	color: white;
	font-family: sans-serif; 
	font-size: 14pt; 
	font-weight: bold;
}
#logo img {
	border : 0;	
}
#content {	
	float : right;
	padding-right :	24px;
	margin :0;
	padding-top:19px;
	color: white;
	font-family: sans-serif; 
	font-size: 14pt; 
	font-weight: bold;
}
 
#gradient {
	width: 100%;
	height: 7px;
	background-image: url('../images/gradient.png'); 
	padding: 0;
}

div.glosslist dt {
	font-weight: bold;
	border-bottom: 1px solid #000000;
}
