/* Stylesheet for formatting HTML generated by Osprey form generation and search results.
 * See http://osprey.ucalgary.ca/ 
 * Author: Paul Gordon, updated 13/MR/2004 */

/* Note: You should use relative font sizes, so people who like large
 * fonts can still have them. */

/* basic elements */
body { 
	font: 100% arial; 
	font-family: sans-serif; 
	color: #000033; 
	background: #AAAAD6; 
	margin: 8px; 
}
p { 
	margin-top: 3px; 
	text-align: justify;
}
a{
        font-weight: bold;
        text-decoration: none;
	color: #9785BF;
}
em{
        font-weight: bold;
        font-style: normal; /* i.e. not italic */
}
a:visited { 
	color: #949D9C;
}
a:hover, a:active { 
	text-decoration: underline; 
	color: #66559A;
}
A IMG {border : none;}
/* divs classes */ 

.page-title{
        font-size: 150%;
        font-weight: bold;
        text-align: center;
        color: #FFFFEE;
        background: #333366;
}

.sections-quick-link{
        background: #DDBBA0;
	/* The following lines provide hr-like
	 * dividing line below the summary */
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	margin-top: 5px;
	margin-bottom: 5px;
}

.quick-link-item{
        font-style: italic;
}

/* Generally a paragraph that starts a page */
.synopsis{
        background: #C0C0CD;
        padding: 3px;
        border: 1px solid #BD9B80;
}

.section{
        margin: 10px;
        padding: 3px;
        border: 1px solid #BD9B80;
}

.section-title{
        font-size: 125%;
        font-weight: bold;
        text-align: center;
}

.subsection{
        margin: 5px;
}

.subsection-title{
        font-size: 110%;
	font-weight: bold;
        text-align: center;
}

.note-general{
        color: #441100;
}

.code{
        font: 90% courier;
        font-family: monospaced;
        white-space: nowrap;
}

.super{
        vertical-align: super;
}

.sub{
        vertical-align: sub;
}