/* Generic */
*         { font-family: serif; } 
code      { font-family: monospace; }
pre       { font-family: monospace; }

a         { color: #0000af; }
a:visited { color: black; }

body {
	background: #70708f;
	background: url("../limages/noise_body.jpg");
	margin: 0;
	height: 100%;
} 


/* Background Colours */
div.body, tr.idxi {
	background: url("../limages/noise_mbody.jpg"); 
	background-color: #c0c0ef;
}

div.header, table.mainidx, h1,h2,h3,h4  {
	background: url("../limages/noise_head.jpg"); 
	background-color: #8e8ecf;
}


/* Main index page */
table.mainidx {

	/* width: 98%; */
	padding: .2em;
	display: table;
	margin-left: auto;
	margin-right: auto;
	margin-top: .7%;
	margin-bottom: auto;
	/* margin:.9%; */
	border-style:solid;
	border-width:thin;
	border-color: black;
}

tr.idxh { text-align: left; }

/* DOS Box */
pre.dos {
	background: #000000;
	color: #ffffff;
}


/* Heading */
div.header {
	font-size: x-large;
	padding: .0em .0em .0em .5em;
}

/* For the silly cat images */
div.sillyimg {
	float:right;
	margin: 0em 0em 0em 2em;
	border-width: 1px;
	border-style: solid;
}


H1, H2, td.head, div.contents {
	border-width: thin;
	border-style: solid;
}

H1,H2 {
	color: black;
	padding: 0em .1em 0em .5em;
}


dl {
	border-width: thin;
	border-style: solid;
	padding: 1em 2em;
}


/* Blue page background */
div.body {
	border-width: thin;
	border-style: solid;

	margin: 1%;
	width: 95%;

	min-height: 85%;

	padding: .0em 1% 1% 1%;
}


/* Unsorted */
/*
div.lef1,div.lef2 {
	width: 30%;
	position: absolute;
}

table.mnu { width: 100%; }
td.mitem { width: 50%; }
td.mdesc { width: 50%; }
*/

/*
div.ri1,div.ri2 {
	width: 70%;
	position: absolute;
}
*/

/*
div.contents {
	margin: .0em;
	padding: .5em;

	background: url("../limages/noise_head.jpg");
}
*/

/*
td.head {
	background-color: #9090f0;
	background: url("../limages/noise_head.jpg");
}
*/

/*
table.contents {
	width: 100%;
	height: 70%;
	border: 0;
	background: url("../limages/noise_mbody.jpg");
}
*/


/* Here we have some stuff for all the fools out there who are still using IE :) */

/* body { background: url("../limages/bill2.gif"); } */