/*  **** NOTES ****
normally 16px (default browser font size) = 1em;

id's get referenced with #[idname]
class's get referenced with .[classname]

http://www.w3schools.com/css/css_border.asp

*/

body {
	background-color:white;
/*
	color:black;
	font-size:12pt;
*/
	font-family: Arial, helvetica, sans-serif;
	font-size: 14px;
	line-height: 19px;
	font-weight: normal;
	}
	
body, p, th, td, caption, h1, h2, h3, ul, ol, dl {
	color: black;
	font-family: sans-serif;
    text-align: left;

}

tt, span.kw, pre {
	font-family: monospace, Courier
}

table.copyright {
	font-size: 11px;
	line-height: 15px;
	padding: 7px;
	width: 100%;
}

td.left {
	padding-right: 14px;
	vertical-align: top;
}

td.right {
	padding-left: 14px;
	width: 280px;
	vertical-align: top;
}

td.half {
	padding-left: 14px;
	width: 425px;
	vertical-align: top;
}

div.news
{
/*	position: relative; */
	width:640px;			/* total width */
	padding: 0px; 
/*	border: 1px dashed red;  */
	margin-bottom: 20px;
	}

.newstitle {
	font-weight:bold;
/*  background-color:green; */
	border:1px solid black;
	padding-left: 10px;
	padding-top: 3px;
	padding-bottom: 3px;
	background-color: #bcda6c;
	background: url(menubg.gif) 0% 0% repeat-x;
	}

.newsdate {
	position: relative;
	float: right; 
	top: 5px;
	width: 150px;
	text-align:center;
	font-weight:bold;
	background-color:white;
/*	border:1px solid black; */
	padding-top: 3px;
	padding-bottom: 3px;
	}

.newsbody {
	position: relative;
	top: 10px;
	width: 455px;
	padding: 10px; 
	/* default background colour, for all layout engines that don't implement gradients */
	background: #ffdd9b; /* whitesmoke; */
	border:0px solid black;

background: #55aaee; /* Old browsers */
background: -moz-linear-gradient(top, #55aaee 0%, #ffffff 100%); /* FF3.6+ */
background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#55aaee), color-stop(100%,#ffffff)); /* Chrome,Safari4+ */
background: -webkit-linear-gradient(top, #55aaee 0%,#ffffff 100%); /* Chrome10+,Safari5.1+ */
background: -o-linear-gradient(top, #55aaee 0%,#ffffff 100%); /* Opera11.10+ */
background: -ms-linear-gradient(top, #55aaee 0%,#ffffff 100%); /* IE10+ */
filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#55aaee', endColorstr='#ffffff',GradientType=0 ); /* IE6-9 */
background: linear-gradient(top, #55aaee 0%,#ffffff 100%); /* W3C */	
	}

h1 {
	font-size:2em;
	}

a:link {text-decoration:none;}    /* unvisited link */
a:visited {text-decoration:none;} /* visited link */
a:hover {text-decoration:underline;}   /* mouse over link */
a:active {text-decoration:underline;}  /* selected link */

div#SFLogo {
	float: right;
    padding-top: 10px;
	padding-bottom: 10px;
}

pre {
	font-family:  monospace;
	font-size: 12px;
	border: 1px dashed gray;
	width: 90%;
	overflow: auto;
	background-color: #E9E9E9;
	padding-top: 10px;
	padding-left: 10px;
	padding-bottom: 10px;
	padding-right: 10px;
}

.sourcecode {
	font-family:  monospace;
	font-size: 11px;
	background-color: #E9E9E9;
	padding-top: 20px;
	padding-left: 20px;
	padding-bottom: 20px;
	color: #FF0000;
}

.console_command {
	font-family:  monospace;
	font-size: 11px;
	color: green;
	background-color: #E9E9E9;
}

a, span.link {
	color: #2a65ad;
	text-decoration:none;
    /* so that the faded background coded doesn't bother use */
/*	background-color: #ffffff; */
	padding-top: 2px;
	padding-bottom: 2px;
}

a:hover {
	color:#55aaee;
/*  text-decoration: underline; */
}