	body {
		margin: 10px 50px 10px 50px;
		background-color: #DDDDDD;
		font-family: 'Bitstream Vera Sans',Verdana,sans;
	}

	#page {
		margin: 0px;
		border-top: 1px solid black;
		border-bottom: 1px solid black;
		border-left: 1px solid black;
		border-right: 1px solid black;
		background-color: white;
		background-position: top right;
		background-image: url("images/team.gif");
		background-repeat: no-repeat;
	}

	div.navheader {
		margin: 20px 0px 0px 0px;
	}

	div.navfooter {
		margin: 0px 0px 10px 0px;
	}

	div.chapter {
		padding: 0px 25px 0px 25px;
	}

	div.section {
		padding: 0px 10px 0px 10px;
	}

	div.toc {
		padding: 0px 10px 0px 50px;
	}

        h1.title {
		color: #2233CC;
                font-style: italic;
                padding: 3px;
		text-align: center;
                margin: 0px;
                margin-top: 20px;
        }

        h2.subtitle {
                color: gray;
                font-size: normal;
                padding: 2px;
		text-align: center;
                margin: 0px;
        }

	p.edition {
		text-align: center;
	}

	div.abstract {
		color: black;
		font-size: large;
		padding: 2px;
		margin: 0px;
		margin-bottom: 20px;
		text-align: center;
	}

	div.titlepage div.mediaobject {
		position: absolute;
		top: 120px;
		left: 120px;
	}

	span.accel {
		text-decoration: underline;
	}

	span.underline {
		text-decoration: underline;
	}

	hr {
		width: 95%;
	}

	h2.title {
                border-bottom: 1px solid #cccccc;
	}

	h3.title {
                border-bottom: 1px solid #cccccc;
	}

	img {
		border-width: 0px;
		vertical-align: middle;
	}


	div.toc a {
		text-decoration: none;
		color: black;
		padding: 4px;
		padding-left: 16px;
	}

	div.toc a:hover {
		color: gray;
		background-image: url("images/go.gif");
		background-repeat: no-repeat;
		background-position: center left;
	}

	div.toc p b {
		font-size: large;
                border-bottom: 1px solid #cccccc;
	}

	p.copyright {
		position: absolute;
		top: 46px;
		left: 75px;
		color: gray;
		font-size: x-small;
	}

	div.lastupdated {
		color: gray;
		font-size: x-small;
		margin: 10px;
		margin-top: 0px;
		text-align: right;
	}

	pre.programlisting {
		width: 95%;
		font-family: Monospace;
		font-weight: bold;
		font-size: 95%;
		border-width: 1px;
		border-style: solid;
		border-color: #333333;
		padding: 10px;
		padding-left: 30px;
		background-color: #FFFFEF;
	}

