body 	{ 
	background-image: url('images/backtile.gif'); 
	}

td {  }

th { }
h1 {
	font-size: x-large;
	font-style: normal;
	font-weight: bold;
	color: #990000;
	}
h2 {
	font-size: large;
	font-weight: bold;
	color: #990000;
	}

li {  	line-height: 1.2;    }

ul.webrefs li {  line-height: 1.5;    }



.StrongNote {
	font-size: large;
	font-weight: bold;
	color: #000066;
	}
.DarkRed {
	font-weight: bold;
	color: #990000;
	}
.DarkBlue {
	color: #000066;
	font-weight: bold;
	}
.Emphasised {
	color: #000066;
	font-weight: bold;
	}
.ExerciseHead {
	font-size: x-large;
	font-style: normal;
	font-weight: bold;
	color: #990000;
	clear:all;	
	}
.filename {
	color: #000066;
	}
.indent {	padding-left: 4em;  }
.Note {		color: #000066; }
.hint {		color: #000066; }

p.syntax {
	padding-left: 4em;
	padding-top: 0cm;
	line-height: 1.2;
	}
.syntax_rule {
	font-size: 1.2em;
	font-weight: bold;
	color: indigo;
	font-family: courier, serif;
	}
.syntax_example {
	color: maroon;
	font-family: courier, serif;
	}

.CodeBlock {
	font-family: courier, serif;
	font-size: 1em;
	padding-left: 3em;
	color: #000066;
	font-weight: bold;
        line-height: 1; 
	}

.inCode {
	font-family: courier, serif;
	font-size: 1.2em;
	color: #000066;
	font-weight: bold;
	}
.normaltext {
	font-family: Verdana;
	font-size: 0.7em;
	color: black;
	font-weight: normal;
	}
.inline_link {
  	margin-bottom: 0.5em; 
  	margin-top: 0.5em; 
	}


ol li {
  	margin-bottom: 0.5em; 
  	margin-top: 0.5em; 
	}

a 	{padding top:2px;}

a:link, a:visited {
	text-align: center;
	padding: 2px 10px;
	border-top: 1px solid #cccccc;
	border-bottom: 1px solid black;
	border-left: 1px solid #cccccc;
	border-right: 1px solid black;
	background: #cccccc;
	text-decoration: none;
	color: black;
	}

a:hover {
	color: darkblue;
	background: #eeeeee;
	}

a:active {
	border-bottom: 1px solid #eeeeee;
	border-top: 1px solid black;
	border-right: 1px solid #eeeeee;
	border-left: 1px solid black;
	}



div.nav {
	text-align: center;
	}
.top_nav {
	float:right;
	}

.nav ul {
	margin: 0;    /* removes indent IE and Opera */
	padding: 0;    /* removes indent Mozilla and NN7 */
	list-style-type: none;     /* turns off display of bullet */
	}
.top_nav ul {
	margin: 0;    /* removes indent IE and Opera */
	padding: 0;    /* removes indent Mozilla and NN7 */
	list-style-type: none;     /* turns off display of bullet */
	}
.nav li { display: inline; }

.top_nav li { display: inline; 
/*  	line-height: 1.2; */
	}

div.nav a:link, div.nav a:visited  {
/*  float: left; */
	margin: 2px 5px 2px 5px;
	padding: 2px 10px;
	width: 100px;
	border-top: 1px solid #cccccc;
	border-bottom: 1px solid black;
	border-left: 1px solid #cccccc;
	border-right: 1px solid black;
	background: #cccccc;
	text-align: center;
	text-decoration: none;
	color: black;
	}
/*
div.nav a {

	margin: 3px 8px 3px 8px;
	padding: 2px 10px;
	border-top: 1px solid #cccccc;
	border-bottom: 1px solid black;
	border-left: 1px solid #cccccc;
	border-right: 1px solid black;
	background: #cccccc;
	text-align: center;
	text-decoration: none;
	color: black;
	}
*/
.top_nav  a:link, .top_nav  a:visited  {
	margin: 2px 5px 2px 5px;
	padding: 2px 10px;
	width: 100px;
	border-top: 1px solid #cccccc;
	border-bottom: 1px solid black;
	border-left: 1px solid #cccccc;
	border-right: 1px solid black;
	background: #cccccc;
	text-align: center;
	text-decoration: none;
	color: black;
	}

div.nav a:hover  {
	color: maroon;
	background: #eeeeee;
	}

div.nav a:active  {
	border-bottom: 1px solid #eeeeee;
	border-top: 1px solid black;
	border-right: 1px solid #eeeeee;
	border-left: 1px solid black;
	}

.top_nav a:hover  {
	color: maroon;
	background: #eeeeee;
	}

.top_nav a:active  {
	border-bottom: 1px solid #eeeeee;
	border-top: 1px solid black;
	border-right: 1px solid #eeeeee;
	border-left: 1px solid black;
	}

.webrefs li  {
	margin-bottom: 0.5em; 
	margin-top: 0.5em; 
	}


.webrefs a:link  {
	background: #eeeeee;
	color: black;
	}
ul.webrefs  {list-style-type:none}

.webrefs a:visited  {
	color: maroon;
	background: #cccccc;
	}
.webrefs a:hover {
	color: maroon;
	background: #cccccc;
	}

.footer {
	background: aqua;

	}

.footer a:link, 
.footer a:visited, 
.footer a:hover, 
.footer a:active {
 	background: transparent;
	border: none;
	}

div#main_notes {padding-left: 15em }



#left-column {clear:left;
	float:left;
}

#right-column {
	float:left;
}