div.book div.titlepage h1.title {
	font-family: Helvetica, Arial, sans-serif;
	font-weight: bold;
	font-size: 36;
}

body {margin-top: 35px;
margin-right: 50px;
margin-bottom: 35px;
margin-left: 50px;}

h1, h2 {
	font-family: Helvetica, Arial, sans-serif;
	font-weight: bold;
}

h3, h4, h5 {
	font-family: Helvetica, Arial, sans-serif;
	font-weight: bold;
    text-decoration: underline;
}

div.figure
  { 
   text-align: center
  }

div.table
  { 
   text-align: center
  }

table
{
margin-left: auto;
margin-right: auto;
}

td
{ 
padding: 1em; 
font-size : 87%;
font-family : Helvetica,Arial,sans-serif;
}


div.navfooter td
{
padding: 0em;
}

div.navheader td
{
padding: 0em;
}

div.example
  { 
   text-align: center
  }

.navfooter {
	font-family: Helvetica, Arial, sans-serif;
	font-size: 12;
}

div.book div.titlepage {
	border-top: 9px solid #BBBBBB;
	border-left: 9px solid #BBBBBB;
	border-right: 9px solid #BBBBBB;
	border-bottom: 9px solid #BBBBBB;
	background-color: #EEEEFF;
	color: #000066;
	padding-left: 50px;
	padding-right: 50px;
	padding-top: 15px;
	padding-bottom: 20px;
}


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

div.programlisting 
  {
   text-align: left;
  }

span.command
  {
   font-size: 140%;
  }



/*
li ul li {
    list-style: none;
	padding-left: 6px;
	}
*/