p, td, li, input, select, textarea {
	font-family: "Lucida Grande", "Lucida Sans Unicode", Arial, Helvetica, sans-serif;	
	line-height: 20px;
	font-size: 13px;

}

body {
	font-family: "Lucida Grande", "Lucida Sans Unicode", Arial, Helvetica, sans-serif;
	font-size: 13px;
	text-align: justify;
	line-height: 20px;
	color: #000000;
	background-color: #DDDDEE;
	margin-top: 20px;
	margin-left: 10%;
	margin-right: 10%;
	margin-bottom: 20px;
	background-image: url(/images/lambda.png);
	background-repeat: no-repeat;
	background-attachement: fixed;
	background-position: 2ex 2ex;
}

a {
	color: #333399;
	text-decoration: none;
}

a:visited {
	text-decoration: none;
}

a:hover {
/*	color: #993333; */
}

a:active {
	text-decoration: none;
}


ul, ol {
	margin-top: 0px;
	margin-bottom: 0px;
	padding-top: 0px;
	padding-bottom: 0px;
}

form, h1, h2, h3, h4, h5 {
	margin: 0px;
	padding: 0px;
}

img {
	border: none;
}
img.centre {display: block; text-align: center; margin: 10px auto; 	}
img.center {display: block; text-align: center; margin: 10px auto; 	}
img.left {margin: 5px 5px 5px -5px; float: left; margin: 10px auto; 	}
img.right {margin: 5px -5px 5px 5px; float: right; margin: 10px auto;	}
img.freeleft {margin: 5px 5px 5px -5px; float: left; margin: 10px auto; border:none; 	}

.indent {
	margin-left: 40px;
}

.error {
	color: #CC3333; font-weight: bold;
}

.header {
	overflow: visible;
	text-align: right;
	font-family: "Lucida Grande", "Lucida Sans Unicode", Arial, Helvetica, sans-serif;
	font-size:.82em;
	margin: 10px 0px;
}

div.header H2{
	font-family: "Lucida Grande", "Garamond", serif;
	font-size: 18pt;
	color: #666;
	padding: 3px;
}


.header a:hover {
	color: #993333; 
	background: transparent;
	border-bottom: 0px;
}

.page {
	color: #000;
	font-size: 13px;
	line-height: 22px;
	font-family: "Lucida Grande", "Lucida Sans Unicode", Arial, Helvetica, sans-serif;
	background-color: #F2F2F2;
	padding: 20px 20px 20px 20px;
	border: thin solid #BBBBBB;
	height: 100%;
}

.page a {
	padding:thin;
	color: #333399;
	border-right: thin solid #F2F2F2;
	border-bottom: thin solid #F2F2F2;
}

.page a:hover {
	padding:thin;
	color: #AAA;
	background-color:#FCFCFC;
	border-right: thin solid #CCC;
	border-bottom: thin solid #CCC;
}

.missingpage {
	text-decoration: line-through;
}

.footer {
	clear: both;
	background-color: #EEE;
	padding: 10px 10px 10px;
	border: thin solid #BBBBBB;
	margin: 10px 0px 0px;
	font-family: "Lucida Grande", "Lucida Sans Unicode", Arial, Helvetica, sans-serif;
	font-size: 10px;
}

.commentsheader {
	clear: both;
	background-color: #EEE;
	padding: 1px 10px;
	margin-top: 20px;
	border: thin solid #BBBBBB;
}

.comment {
	margin-top: 5px;
	margin-bottom: 5px;
	background-color: #EEEEEE;
	padding: 10px;
	border: thin solid #BBBBBB;
}

.commentinfo {
	color: #AAAAAA;
}

.commentform {
	background-color: #EEEEEE;
	padding: 10px;
	border: thin solid #BBBBBB;
}

.code {
	color: black;
	background:	   #ffffee;
	border: thin solid #888;
	font: 1thin "Bitstream Vera Sans Mono","Courier New", monospace;
	width: 95%;
	margin:auto;
	overflow: auto;
	padding: 3px;
}

.notes {
	color: #555;
}

.revisioninfo {
	color: #AAAAAA;
	padding-bottom: 20px;
}

.copyright {
	font-size: 1thin;
	color: #AAAAAA;
	text-align: right;
}

.copyright a {
	color: #AAAAAA;
}

.page h5 {
	font-family: Georgia, "Garamond", serif;
	font-style: bold;
	font-size: 10pt;
	color: #555;
	margin-bottom: 5px;
	padding: 3px;
}

.page h4 {
	font-family: Georgia, "Garamond", serif;
	font-style: bold;
	font-size: 12pt;
	color: #555;
	margin-bottom: 5px;
	padding: 3px;
}

.page h3 {
	font-family: Georgia, "Garamond", serif;
	font-style: bold;
	font-size: 14pt;
	color: #555;
	margin-bottom: 5px;
	padding: 3px;
}

.page h2 {
	font-family: Georgia, "Garamond", serif;
	font-size: 16pt;
	font-style: bold;
	color: #555;
	margin-bottom: 5px;
	padding: 3px;
}

.page h1 {
	font-family: Georgia, "Garamond", serif;
	font-size: 18pt;
	font-style: bold;
	color: #555;
	margin-bottom: 5px;
	padding: 3px;
}

a.ext {
	color: #333399;
}

.exttail {
	color: #999;
	position: relative;
	bottom: 0.5ex;
}

.searchbox {
	border: thin solid #CCCCAA;
	padding: 0px;
	margin: 0px;
	font-size:10px
}

.toolbar tr { background: ButtonFace; }
.toolbar .btn-, .toolbar  .btn-hover,  .toolbar .btn-active,  .toolbar .btn-pressed {  
	background: ButtonFace; 
	color: ButtonText;
 	border: thin solid ButtonFace; 
	padding: thin;  
	margin: 0px; 
	cursor: pointer; 
}
.toolbar .btn- img  { 
	width: 20px; 
	height: 20px; 
	margin: 0px;	
}
.toolbar .btn-hover { 
	border-color: ButtonHighlight ButtonShadow ButtonShadow ButtonHighlight; 	
	margin: 0px;	
}
.toolbar .btn-active,  
.toolbar .btn-pressed { border-color: ButtonShadow ButtonHighlight ButtonHighlight ButtonShadow; 	margin: 0px;	
}
.toolbar .btn-pressed { background: ButtonHighlight; 	margin: 0px;	
}
.editornamecss { background-color:#CCCCFF; font-size: 18px; padding: 0 10px; 	margin: 0px;	
}

/*---Speific Styles ---*/

.clear {clear:both;}

.comments {display: none;}

.floatl {float: left; width: 48%; margin: 0.5%; padding: 0.5%; background: #EEE;}

.floatr {float: right; width: 48%; margin: 0.5%; padding: 0.5%; background: #EEE;}

.previewhead {
	margin: auto; 
	z-index:20; 
	position:fixed; 
	top: 40px; 
	left: 10px; 
	color: red; 
	font-size: xx-large; 
	font-weight: bold; 
	padding: 5px;
}

.highlight {color: red; background: #FFFFD0;}

.strikethrough {color: #888; text-decoration: line-through;}

.additions {background-color: #ccffcc;}

.deletions {color: #876; background-color: #FFCC99;}

.underline {text-decoration: underline;}

.recentchanges {font-size: 0.9em;}

.pagenote {color: #888;}

.centre {text-align: center;}

.center, .center p {text-align: center;}

.keys {	
	color: #333;
	background-color: #EFEFEF;
	font: normal 80% "Verdana", sans-serif;
	text-align: center;
	border-top: 2px double #CFCFCF;
	border-left: 3px solid #BABABA;
	border-right: 4px solid #AAA;
	border-bottom: 6px solid #909090;
	padding-left: 0.2em;
	padding-top: 0em;
	padding-right: 0.2em;
	padding-bottom: 0em;
	line-height: 1.6em;
	vertical-align: top;
}

.smallprint {
	font-size: 10px; 
	color: #777; 
	padding-right: 0.5%; 
	text-align: right;
}

.smallprint a {
	color: #987;
}


/* syntax highlighting code - geshi */
.code ol {
	margin-top: 6px;
	margin-bottom: 6px;			/* prevent vertical scroll bar in case of overflow */
}
.code li {
	font-size: 1thin;
	font-family: "Lucida Console", Monaco, monospace;
}
.code .br0	{ color: #66cc66; }
.code .co1	{ color: #808080; font-style: italic; }
.code .co2	{ color: #808080; font-style: italic; }
.code .coMULTI	{ color: #808080; font-style: italic; }
.code .es0	{ color: #000099; font-weight: bold; }
.code .kw1	{ color: #b1b100; }
.code .kw2	{ color: #000000; font-weight: bold; }
.code .kw3	{ color: #000066; }
.code .kw4	{ color: #993333; }
.code .kw5	{ color: #0000ff; }
.code .me0	{ color: #006600; }
.code .nu0	{ color: #cc66cc; }
.code .re0	{ color: #0000ff; }
.code .re1	{ color: #0000ff; }
.code .re2	{ color: #0000ff; }
.code .re4	{ color: #009999; }
.code .sc0	{ color: #00bbdd; }
.code .sc1	{ color: #ddbb00; }
.code .sc2	{ color: #009900; }
.code .st0	{ color: #ff0000; }

/* Calendar styling - added 2004-11-30 - updated 2004-12-01 */
/* general styling */

table.calendar {
        color: #000000;
        background-color: #CCCCCC;                /* comment out to have space between cells same color as page background */
        /*border-collapse: collapse;*/        /* would make single-width borders, ignoring cell-spacing */
}
table.calendar caption {
        background-color: #CCCCCC;
        font-weight: bold;
        line-height: 1.6em;
}
table.calendar thead {
        background-color: #CCCCCC;
}
table.calendar tbody.face {
        background-color: #CCCCCC;
}
table.calendar tbody.calnav {
        background-color: #CCCCCC;
}
/* styling for some specific elements */
table.calendar thead th {
        /*border: thin solid #000000;*/        /* uncomment to have border around day name headers (will be page background if table background is undefined) */
        padding: thin;
        text-align: center;
        font-size: 85%;
        width: 26px;
}
table.calendar tbody.face td {
        border: thin solid #000000;
        text-align: right;
}
table.calendar td.currentday {
        color: #993333;
        background-color: #AAAAAA;
        font-weight: bold;
}
/* styling of calendar navigation */
table.calendar tbody.calnav {
        font-weight: bold;
}
table.calendar td.prevmonth {
        text-align: left;
        font-size: 85%;
}
table.calendar td.curmonth {
        text-align: center;
}
table.calendar td.nextmonth {
        text-align: right;
        font-size: 85%;
}
table.calendar a:link {
        color: #993333;
        text-decoration: none;
}
table.calendar a:visited {
        color: #993333;
        text-decoration: none;
}
table.calendar a:hover {
        color: #993333;
}
table.calendar a:active {
        color: #993333;
        text-decoration: none;
}