/* Stylesheet for Vital documentation: March 04 */

body {
	margin: 0px;  					/* Make the main table fill the page */
	background-color: white;
	font-family: Helvetica,Arial,Sans-Serif;	/* The body font */
}

h1, h2, h3, h4 {
	color: navy;
}

h1 {
	font-size: large;
	text-align: center;
}

h2 {
	font-size: medium;
}

h3 {
	font-size: small;
}

h4 {
	font-size: x-small;
}



ul{							/* (Previously, this was  ul.compact)  */
	margin-top: 0.5ex;				/* Contract the space above first element of a list */
	margin-bottom: 0.5ex;				/*  -ditto- */
}


@media screen {						/* A media-specific section (for viewing) */
    #menu-area {
	width: 20%;						/* [An "id" style] */
	background-color: #000080;				/* Navy blue */
	padding: 20px;						/* Space between edge of blue b/g and menu text */
    }
}


@media print {						/* A media-specific section (for printing) */
    #menu-area {
	display: none;					/* Suppress printing of the side bar */
    }
}


a.menu-link, a.strong-menu-link {
	color: yellow;
	text-decoration: none;				/* Suppress underlining of menu links */
	margin: 0px 0px 1ex 0px;			/* Insert some spacing under each entry (Top, Right, Bottom, Left) */
        display: block;					/* Insert a newline */
}


a.menu-link:hover, a.strong-menu-link:hover {
	text-decoration: underline;			/* Underline links in the menu when hovered over */
}


a.strong-menu-link {
	color: white;					/* Override the "yellow" colour */
}


#main-area {
	background-color: white;
	padding: 2em;
}





img.boxed {
	border: thin double navy;			/* OR eg   border: medium dotted double red  */	
	margin: 10px;					/* Some space to separate the border from surrounding text */
}


img.centered {
	display: block; 				/* Treat the image as a Block-level element */
	text-align: center;
	margin-bottom: 30px;				/* Some spacing under the image */
}


pre.program { 
	font-family: "Courier New", Courier, mono;
	margin-left: 3em;
	margin-top: 0.5ex;
	margin-bottom: 0.5ex
}


span.prog { 
	font-family: "Courier New", Courier, mono;
	font-size: x-small
}