/*
 * XHTML states that element and attribute names must be lower case!
 *
 * This style sheet must work for both XHTML and HTML. Problem is that in
 * the latter case, most browsers (Mozilla, IE5) do not consider 
 * <ul>'s, <ol>'s, <pre>'s, etc. to be part of a surrounding <p>. Hence
 * we need to compensate for that.
 *
 * Arno, 11-3-2004
 */

html
{
    background-color: #C0C0C0;
}

body 
{
	background-color: #C0C0C0;
	color: black;
	padding-top: 3mm;
	padding-bottom: 8mm;
	padding-left: 3%;
	padding-right: 3%;
	margin: 0cm;
/*	border-style: solid;
	border-width: 5px; */
}

:link
{ 
	color: #A00000 
}

:visited 
{ 
	color: #600000
}

h1
{
	color: #A00000; 
	text-align: center; 
	font-size: x-large
}

hr.titlehr 
{
	text-align: center;
	border: 0; 
	background-color: black; 
	height: 1px; 
	margin-left: 1;
	margin-right: 1;
	width: 50%;
	margin-bottom: 8mm
}

h2 
{
	padding-top: 6mm;
	color: #A00000; 
	font-size: large 
/*	border-style: solid;
	border-width: 5pt; */
}

h3 
{
	padding-top: 4mm;
	color: #A00000;
	margin-left: 3.5%;
	margin-right: 3.5%;
}

h4
{
	color: #000000;
	margin-left: 7.5%;
}


hr.sectionhr
{
	margin-left: 0;
	margin-bottom: 1;
	border: 0; 
	background-color: black; 
	height: 1px; 
	width: 93%
}


table.pagemain 
{
	background-color: white;
	border-style: solid;
	border-color: black;
	border-width: 2px;
	width: 90%;
	align: right;
	padding-left: 5mm;
	padding-top: 6mm;
	margin-top: 5mm;
	margin-left: auto; 
	margin-right: auto; 
} 

table.introtable 
{ 
	width: 85%; 
	border: 0; 
	align: center; 
	padding-left: 7.5%;
	padding-top: 3mm;
}

table.description 
{ 
	width: 100%; 
	border: 0;
	align: center;
	padding-left: 7.5%; 
	padding-right: 8%;
	margin-right: 0mm;
	padding-top: 3mm;
	border-spacing: 0 1.5mm;
/*	border-style: solid;
	border-width: 5pt; */
}
  
table.cases
{
	border: 1;
	align: center;
	border-collapse: collapse;
	margin-top: 5pt;
	border-style: ridge;
	border-width: 2pt;
}
tr.cases
{
	top-margin: 0;
	bottom-margin: 0; 
	left-padding: 0;
	right-padding: 0;
	top-padding: 0;
	bottom-padding: 0;
}

td.cases
{
	padding-left: 10pt;
	padding-right: 10pt;
	padding-top: 5pt;
	padding-bottom: 5pt;
	border-bottom-style: ridge;
	border-left-style: ridge;
	border-top-style: none;
	border-right-style: none;
	border-left-width: 2pt; 
	border-top-width: 0; 
	border-right-width: 0; 
	border-bottom-width: 2pt;
}


/* 
 * HTML fixes 
 */

table.downloads 
{
	font-size: smaller;
	white-space: nowrap;
	font-family: courier; 
	margin-top: 2mm;
	margin-bottom: 2mm;
	padding-top: 2mm;
	padding-bottom: 2mm;
	padding-left: 3mm;
	/* background-color: #F0F0F0; */
	/* background-color: #D2DDFF;*/
	background-color: #E8EEFF;
	border-style: solid;
	border-width: 1pt; 
}


/* 
 * Basic definitions 
 */

p 
{
	margin-left: 7.5%;
	margin-right: 8%;
	text-align: justify;
}

ol 
{
        padding-left: 5mm;
	text-align: justify;
}

ul 
{
        padding-left: 5mm;
	text-align: justify;
}

li 
{
	padding-bottom: 2mm
}

/* Two level ul */
ol ul {
	padding-top: 5pt;
	list-style-type: disc;
}

/* Two level ol */
ol ol {
	padding-top: 5pt;
	padding-left: 20pt;
	list-style-type: lower-roman
}

/* Three level ol */
ol ol ol {
	padding-top: 5pt;
	padding-left: 20pt;
	list-style-type: lower-alpha
}



pre {
        background-color: #E8EEFF; 
	border-style: solid;
	border-width: 1pt; 
	font-size: smaller; 
	white-space: pre;
	font-family: courier;
	margin-top: 2mm;
	margin-bottom: 2mm;
	padding-top: 2mm;
	padding-bottom: 2mm;
	padding-left: 3mm;
 	/* background-color: #F0F0F0; */
	/* background-color: #D2DDFF;*/
}

tt
{
	font-family: courier;
}


dt
{
    padding-top: 2mm;
    padding-bottom: 0mm;
    margin-left: 0mm;
    padding-left: 0mm;
}

dd
{
        padding-left: 3mm;
        margin-left: 20mm;
        margin-right: 5mm;
}



/*
 * Handle XHTML, HTML incompat
 */

table.pagemain p ol 
{
	margin-left: 0%;
	margin-right: 0%;
}

table.pagemain p ul
{
	margin-left:  0%;
	margin-right: 0%;
}


/* For HTML <p> problem, should be same as 'p ol', but then in one class */
table.pagemain ol 
{
	margin-left: 7.5%;
	margin-right: 8%;
}

table.pagemain ol ol
{
	margin-left:  0%;
	margin-right: 0%;
}

table.pagemain ul 
{
	margin-left: 7.5%;
	margin-right: 8%;
}




table.pagemain p pre
{
	margin-left: 0%;
	margin-right: 0%;
}


/* For HTML <p> problem, should be same as 'p pre', but then in one class */
table.pagemain pre
{
	margin-left: 7.5%;
	margin-right: 8%;
}

table.pagemain ol pre
{
	margin-left: 0%;
	margin-right: 0%;
}


/* For HTML <p> problem, should be same as 'p dt', but then in one class */
table.pagemain dt
{
	margin-left: 7.5%;
	margin-right: 8%;
}

table.pagemain ol dt
{
	margin-left:  0%;
	margin-right: 0%;
}


table.pagemain p dt
{
	margin-left: 0%;
	margin-right: 0%;
}


/*
 * Misc
 */

td.newsitem 
{
	color: #600000;
	valign: top;
	width: 20%
}

td.subproject
{
	valign: top;
	width: 20% 
}


address
{
	margin-left: 7.5%;
	margin-right: 8%;
	color: #A00000;
	text-align: right;
	font-size: small;
	padding-bottom: 5mm;
}


/* How to we center this thing? */
img.title
{
	padding: 3mm;
}

a.topnav
{
	color: black; 
}

blockquote
{ 
	margin-left: 15%;
	margin-right: 15%;
	text-align: justify;
 
}