/* Stylesheet for Pivotal (rev. 27.8.05) */


/* ------------- Global styles ----------- */

body {
	background-color: white;
	color: black;
	font-family: helvetica, arial, sans-serif;
}


/* ------------- Header motif styles ----------- */

div.header-motif {
	float: left;
	width: 20%;		
	padding-left: 1em;
}


/* ------------- Header title styles ----------- */

	
div.header-title {
	float: left;
}


/* ------------ Top separator bar ------- */

hr.top {
	clear: left;
	color: red;					/* Note that this "color" attribute is not recognised by Mozilla browsers */
	margin-bottom: 20px;
}


/* ------------ Navigation block styles ----- */

div.nav-block {
	float: left;
	width: 20%;
	background-color: rgb(60, 110, 160);
	color: white;
	font-weight: bold;
	font-size: 1em;
}

div.nav-block a {					/* Links in side bar */
	color: #ddeeff;
	text-decoration: none;
}

div.nav-block a:hover {
	color: white;
	text-decoration: underline;
}

div.nav-block li {					/* Lists in side bar */
	padding-top: 10px;
	list-style-type: square;
}


/* ------------ Main block styles ----- */

div.main-block img {					/* Images */
	display: block;
	margin: 10px 0px 10px 0px			/* top, right, bottom, left */
}

div.main-block h1 {
	color: navy;
}

div.main-block h2 {
	color: gray;
}

div.main-block h2 {
	font-size: 1.5em;
	color: navy;
	margin-bottom: 0.5em;
}

div.main-block h3 {
	font-size: 1.3em;
	color: navy;
	margin-bottom: 0.3em;
}

div.main-block pre {					/* For programs */
	font-family: "Courier New", Courier, monospace;
	color: navy;
	font-size: small;
}



/* ---------- Footer styles --------------- */

div.footer {
	font-size:  0.6em;
	text-align: right;
	color: gray;
}

div.footer hr {
	clear: left;
	margin-top: 2em;
}


/* ---- Additions for screen media ----- */

@media screen {	
					
    div.header-title {
	float: left;
	width: 75%;					/* (Leave 5% spare to avoid wrapping!) */
	padding-left: 2em;
    }

    div.header-title h1 {
	margin-top: 40px;				/* Move the title down a bit */
    }

    div.main-block {
	float: left;
	width: 75%;					/* (Again, leave 5% spare) */
	padding-left: 2em;
    }

}


/* ---- Additions for print media ----- */

@media print {

    div.header-motif, div.nav-block {				
	display: none;					/* Suppress motif and navigation block */
    }

}